diff --git a/docs/make.bat b/docs/make.bat index 694e3859ffc0b2aaa3ab5598d41ce106cb101f29..ad9f4672639d1c016fe4b9df1d3b99d439c4bd39 100644 --- a/docs/make.bat +++ b/docs/make.bat @@ -22,6 +22,7 @@ if "%SPHINXBUILD%" == "" ( set SOURCEDIR=. set BUILDDIR=_build set SPHINXPROJ=Gimmecert +set SPHINXOPTS=-W if "%1" == "" goto help