diff options
Diffstat (limited to 'api-docs')
| -rw-r--r-- | api-docs/cppdocs/make.bat | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/api-docs/cppdocs/make.bat b/api-docs/cppdocs/make.bat new file mode 100644 index 00000000..aca8b3c9 --- /dev/null +++ b/api-docs/cppdocs/make.bat @@ -0,0 +1,31 @@ +@echo off +set PYTHON=poetry run python + +if "%1" == "help" ( + echo Please use `make <target>` where <target> is one of + echo clean to clean the folders + echo html to make standalone HTML files + echo docset to make a Dash docset + exit /b +) + +if "%1" == "clean" ( + rmdir /s /q html + rmdir /s /q docset + rmdir /s /q xml + exit /b +) + +if "%1" == "html" ( + %PYTHON% build_min_docs.py + exit /b +) + +if "%1" == "docset" ( + %PYTHON% build_min_docs.py --docset + exit /b +) + +echo Unknown target: %1 +exit /b 1 + |
