diff --git a/.gitignore b/.gitignore index 9b90f87..3d20f7c 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,2 @@ -.vscode dump.xml output \ No newline at end of file diff --git a/.vscode/settings.json b/.vscode/settings.json new file mode 100644 index 0000000..7e41498 --- /dev/null +++ b/.vscode/settings.json @@ -0,0 +1,11 @@ +{ + "spellright.language": [ + "en_GB" + ], + "spellright.documentTypes": [ + "markdown", + "latex", + "plaintext", + "xml" + ] +} \ No newline at end of file diff --git a/.vscode/tasks.json b/.vscode/tasks.json new file mode 100644 index 0000000..f9720ca --- /dev/null +++ b/.vscode/tasks.json @@ -0,0 +1,20 @@ +{ + // See https://go.microsoft.com/fwlink/?LinkId=733558 + // for the documentation about the tasks.json format + "version": "2.0.0", + "tasks": [ + { + "label": "Build Manual", + "type": "shell", + "command": "./build-manual", + "options": { + "cwd": "${workspaceFolder}" + }, + "problemMatcher": [], + "group": { + "kind": "build", + "isDefault": true + } + } + ] +} \ No newline at end of file