diff --git a/.vscode/settings.json b/.vscode/settings.json new file mode 100644 index 0000000..f787139 --- /dev/null +++ b/.vscode/settings.json @@ -0,0 +1,67 @@ +{ + "latex-workshop.latex.recipes": [ + { + "name": "make doc", + "tools": [ + "make doc", + ] + }, + { + "name": "make class", + "tools": [ + "make class", + ] + }, + { + "name": "make example", + "tools": [ + "make example", + ] + }, + { + "name": "pdflatex × 2", + "tools": [ + "pdflatex", + "pdflatex" + ] + }, + ], + "latex-workshop.latex.tools": [ + { + "name": "pdflatex", + "command": "/opt/local/bin/pdflatex", + "args": [ + "-shell-escape", + "-synctex=1", + "-interaction=nonstopmode", + "-file-line-error", + "%DOC%" + ], + "env": {} + }, + { + "name": "make class", + "command": "/opt/local/bin/gmake", + "args": [ + "class" + ], + "env": {} + }, + { + "name": "make doc", + "command": "/opt/local/bin/gmake", + "args": [ + "doc" + ], + "env": {} + }, + { + "name": "make example", + "command": "/opt/local/bin/gmake", + "args": [ + "example" + ], + "env": {} + }, + ], +}