diff options
Diffstat (limited to '.vscode/tasks.json')
| -rw-r--r-- | .vscode/tasks.json | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/.vscode/tasks.json b/.vscode/tasks.json new file mode 100644 index 000000000..4d4a57b80 --- /dev/null +++ b/.vscode/tasks.json @@ -0,0 +1,36 @@ +{ + // See https://go.microsoft.com/fwlink/?LinkId=733558 + // for the documentation about the tasks.json format + "version": "2.0.0", + "tasks": [ + { + "label": "make run", + "type": "shell", + "command": "make run", + "problemMatcher": [], + "isBackground": true, + "presentation": { + "reveal": "always", + "panel": "dedicated" + }, + "group": { + "kind": "build", + "isDefault": true + } + }, + { + "label": "make docs.live", + "type": "shell", + "command": "make docs.live", + "problemMatcher": [], + "isBackground": true, + "presentation": { + "reveal": "always", + "panel": "dedicated" + }, + "group": { + "kind": "build" + } + } + ] +}
\ No newline at end of file |