{ // See https://go.microsoft.com/fwlink/?LinkId=733558 // for the documentation about the tasks.json format "version": "2.0.0", "tasks": [ { "label": "build doc", "type": "process", "command": "make.bat", "group": { "kind": "build", "isDefault": true } } ] }