From 003e929cdbff032143e58a4f41e7fc4e18e9b73b Mon Sep 17 00:00:00 2001
From: Steve Dower <steve.dower@microsoft.com>
Date: Tue, 6 Sep 2016 10:49:17 -0700
Subject: Prevents unnecessary help text appearing in doc build.

---
 Doc/make.bat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doc/make.bat b/Doc/make.bat
index 5ab8085..da1f876 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
-- 
cgit v0.12