diff options
Diffstat (limited to 'Doc/make.bat')
| -rw-r--r-- | Doc/make.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/make.bat b/Doc/make.bat index 5ab80850a3..da1f8765a4 100644 --- a/Doc/make.bat +++ b/Doc/make.bat @@ -40,7 +40,7 @@ if "%1" == "clean" ( goto end
)
-%SPHINXBUILD% 2> nul
+%SPHINXBUILD% >nul 2> nul
if errorlevel 9009 (
echo.
echo.The 'sphinx-build' command was not found. Make sure you have Sphinx
|