Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- {
- "latex-workshop.latex.recipes": [
- {
- "name": "platex*2+dvipdfmx",
- "tools": [
- "platex",
- "platex",
- "dvipdfmx"
- ]
- }
- ],
- "latex-workshop.latex.tools": [
- {
- "name": "platex",
- "command": "platex",
- "args": [
- "-interaction=nonstopmode",
- "%DOC%"
- ]
- },
- {
- "name": "dvipdfmx",
- "command": "dvipdfmx",
- "args": [
- "%DOC%"
- ]
- }
- ]
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement