diff options
| author | Mike Edmunds <medmunds@gmail.com> | 2026-06-10 13:31:53 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-06-10 17:31:53 -0300 |
| commit | bc65586cfb69c0c0c399e40a22494501e0da2008 (patch) | |
| tree | d2f7f383639d7528a22067f13e9a36ed4ff0b965 | |
| parent | f970a98e464320c09dde8d45009eadfb4d038a57 (diff) | |
Refs #37150 -- Synced docs/make.bat with docs/Makefile.
| -rw-r--r-- | docs/make.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/make.bat b/docs/make.bat index 5c06278972..bed2f7e0d3 100644 --- a/docs/make.bat +++ b/docs/make.bat @@ -47,7 +47,7 @@ if "%1" == "clean" ( ) if "%1" == "html" ( - %SPHINXBUILD% -b djangohtml %ALLSPHINXOPTS% %BUILDDIR%/html + %SPHINXBUILD% -b html %ALLSPHINXOPTS% %BUILDDIR%/html if errorlevel 1 exit /b 1 echo. echo.Build finished. The HTML pages are in %BUILDDIR%/html. |