[spec] Minor fix to batch file (WebAssembly#1301)

radekdoulik · web-flow · commit 2ea0c415b88d · 2021-04-06T11:00:09.000+02:00
diff --git 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
 )

Original file line number	Diff line number	Diff line change
`@@ -21,7 +21,7 @@ if "%1" == "" (`
`21`	`21`	`echo. html to make standalone HTML files`
`22`	`22`	`echo. pdf to make standalone PDF file`
`23`	`23`	`echo. all to make both`
`24`		`- echo. publish to make all and push to gh-pages (changes must be committed)`
	`24`	`+ echo. publish to make all and push to gh-pages ^(changes must be committed^)`
`25`	`25`	`echo. help to see more options`
`26`	`26`	`goto end`
`27`	`27`	`)`