summaryrefslogtreecommitdiff
path: root/api-docs
diff options
context:
space:
mode:
Diffstat (limited to 'api-docs')
-rw-r--r--api-docs/cppdocs/make.bat31
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
+