OpenGrok

21 	echo.  html       to make standalone HTML files
22 	echo.  dirhtml    to make HTML files named index.html in directories
23 	echo.  singlehtml to make a single large HTML file
26 	echo.  htmlhelp   to make HTML files and a HTML help project
27 	echo.  qthelp     to make HTML files and a qthelp project
28 	echo.  devhelp    to make HTML files and a Devhelp project
47 if "%1" == "html" (
48 	%SPHINXBUILD% -b html %ALLSPHINXOPTS% %BUILDDIR%/html
51 	echo.Build finished. The HTML pages are in %BUILDDIR%/html.
59 	echo.Build finished. The HTML pages are in %BUILDDIR%/dirhtml.
67 	echo.Build finished. The HTML pages are in %BUILDDIR%/singlehtml.
91 	echo.Build finished; now you can run HTML Help Workshop with the ^

Indexes created Sun Mar 01 05:31:48 UTC 2026