Prevents unnecessary help text appearing in doc build.

diff --git a/Doc/make.bat b/Doc/make.bat
index 5ab80850a3103b0d7ae49125b96bde3e39e0e774..da1f8765a4f358230544ab52dc17fc763fece6c5 100644 (file)
--- a/Doc/make.bat
+++ b/Doc/make.bat
@@ -40,7 +40,7 @@ if "%1" == "clean" (
     goto end\r
 )\r
 \r
-%SPHINXBUILD% 2> nul\r
+%SPHINXBUILD% >nul 2> nul\r
 if errorlevel 9009 (\r
     echo.\r
     echo.The 'sphinx-build' command was not found. Make sure you have Sphinx\r