diff --git a/document/core/make.bat b/document/core/make.bat
index 3b2169f584..76d701084e 100644
--- a/document/core/make.bat
+++ b/document/core/make.bat
@@ -21,7 +21,7 @@ if "%1" == "" (
 	echo.  html       to make standalone HTML files
 	echo.  pdf        to make standalone PDF file
 	echo.  all        to make both
-	echo.  publish    to make all and push to gh-pages (changes must be committed)
+	echo.  publish    to make all and push to gh-pages ^(changes must be committed^)
 	echo.  help       to see more options
 	goto end
 )