diff --git a/.vscode/tasks.json b/.vscode/tasks.json new file mode 100644 index 000000000..f1a91940f --- /dev/null +++ b/.vscode/tasks.json @@ -0,0 +1,11 @@ +{ + "version": "2.0.0", + "tasks": [ + { + "label": "Live HTML build", + "type": "shell", + "command": "make live-html", + "problemMatcher": [] + }, + ] +}