diff options
Diffstat (limited to 'src/cython/doc/make.bat')
-rw-r--r-- | src/cython/doc/make.bat | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/cython/doc/make.bat b/src/cython/doc/make.bat index 656c0105..ba009a90 100644 --- a/src/cython/doc/make.bat +++ b/src/cython/doc/make.bat @@ -41,6 +41,7 @@ if "%1" == "help" ( )
if "%1" == "clean" (
+ del examples.inc
for /d %%i in (%BUILDDIR%\*) do rmdir /q /s %%i
del /q /s %BUILDDIR%\*
goto end
@@ -60,7 +61,10 @@ if errorlevel 9009 ( exit /b 1
)
+:: GUDHI specific : Examples.inc is generated with generate_examples.py (and deleted on clean)
+
if "%1" == "html" (
+ generate_examples.py
%SPHINXBUILD% -b html %ALLSPHINXOPTS% %BUILDDIR%/html
if errorlevel 1 exit /b 1
echo.
|