From 7428553c722a6577dcd4a30709b42bc05f9a0a5e Mon Sep 17 00:00:00 2001 From: Johannes Schindelin Date: Fri, 15 May 2009 11:06:15 +0200 Subject: [PATCH] When the documentation lacks CR/LF, do not suggest a solution; do it Signed-off-by: Johannes Schindelin --- share/WinGit/copy-files.sh | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/share/WinGit/copy-files.sh b/share/WinGit/copy-files.sh index 689887d50c..a40e3f38d0 100644 --- a/share/WinGit/copy-files.sh +++ b/share/WinGit/copy-files.sh @@ -10,12 +10,15 @@ test -d /doc/git/html/.git || { echo "Error: html pages in /doc/git/html/.git mi if [ "$( cd /doc/git/html/ ; git config core.autocrlf )" != "true" ] then echo "Error: documentation must be checked out with core.autocrlf=true." - echo "Hint: fix this by" - echo " cd /doc/git/html" - echo " git config core.autocrlf true" - echo " rm -r *.html *.txt howto" - echo " git checkout -f" - exit 1 + echo "If you have changes in the documentation, hit Ctrl-C NOW." + sleep 3 + (cd /doc/git/html && + git config core.autocrlf true && + rm -rf *.html *.txt howto && + git checkout -f) || { + echo "Could not fix documentation" + exit 1 + } fi TMPDIR=$1 -- 2.11.4.GIT