Lines Matching refs:HTML
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
63 if "%1" == "html" (
64 %SPHINXBUILD% -b html %ALLSPHINXOPTS% %BUILDDIR%/html
67 echo.Build finished. The HTML pages are in %BUILDDIR%/html.
75 echo.Build finished. The HTML pages are in %BUILDDIR%/dirhtml.
83 echo.Build finished. The HTML pages are in %BUILDDIR%/singlehtml.
107 echo.Build finished; now you can run HTML Help Workshop with the ^