diff --git a/.vscode/settings.json b/.vscode/settings.json index e9fff15dff29fbc77aa9859314cdbec435b340f8..7b9b57dadbb9f48a27d7fda595e4c2079b0f55db 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -58,7 +58,7 @@ "%DOC%" ], "env": { - "TEXINPUTS": "%DIR%/src;%DIR%/../src" + "TEXINPUTS": "%DIR%/src/;%DIR/../src/:" } }, {