tasks.json (233B)
1 { 2 "version": "2.0.0", 3 "tasks": [ 4 { 5 "label": "build", 6 "type": "shell", 7 "command": "make html", 8 "linux": "make html", 9 "windows": "make.bat html", 10 "group": { 11 "isDefault": true, 12 "kind": "build" 13 } 14 } 15 ] 16 }