File tree Expand file tree Collapse file tree 2 files changed +25
-36
lines changed Expand file tree Collapse file tree 2 files changed +25
-36
lines changed Original file line number Diff line number Diff line change 326326 },
327327 {
328328 "label" : " Build documentation" ,
329- "type" : " shell" ,
330- "command" : " cmd" ,
329+ "command" : " ${command:python.interpreterPath}" ,
330+ "args" : [
331+ " -m" ,
332+ " sphinx" ,
333+ " build" ,
334+ " ." ,
335+ " ../build/doc" ,
336+ " -b" ,
337+ " html" ,
338+ " -W"
339+ ],
331340 "options" : {
332- "cwd" : " scripts" ,
333- "env" : {
334- "PYTHON" : " ${command:python.interpreterPath}" ,
335- "UNATTENDED" : " 1" ,
341+ "cwd" : " ${workspaceFolder}/doc" ,
342+ "statusbar" : {
343+ "hide" : true
336344 }
337345 },
338- "args" : [
339- " /c" ,
340- " build_doc.bat"
341- ],
342- "problemMatcher" : [],
343346 "group" : {
344347 "kind" : " build" ,
345- "isDefault" : true
348+ "isDefault" : false
346349 },
347350 "presentation" : {
351+ "clear" : true ,
348352 "echo" : true ,
349- "reveal" : " always" ,
350353 "focus" : false ,
351- "panel" : " shared" ,
354+ "panel" : " dedicated" ,
355+ "reveal" : " always" ,
352356 "showReuseMessage" : true ,
353- "clear" : true
354- }
357+ },
358+ "type" : " shell" ,
359+ "dependsOrder" : " sequence" ,
360+ "dependsOn" : [
361+ " Generate requirements"
362+ ]
355363 },
356364 {
357365 "label" : " Build Python packages" ,
387395 "dependsOrder" : " sequence" ,
388396 "dependsOn" : [
389397 " Clean Up" ,
398+ " Generate requirements"
390399 ]
391400 },
392401 {
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments