From b4e4e99b461eabf6a5b3cc25899f41ce0be96713 Mon Sep 17 00:00:00 2001 From: Radek Doulik Date: Tue, 30 Mar 2021 11:32:13 +0200 Subject: [PATCH] Escape parentheses in echo line They were breaking the command block, so `make.bat help` output was: > ./make.bat help help to see more options --- document/core/make.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 )