From 07933b472960bd2998d8cc8cd986067b205a12c7 Mon Sep 17 00:00:00 2001 From: malc Date: Thu, 12 Apr 2018 09:21:46 +0300 Subject: [PATCH] Stray newline --- build.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/build.sh b/build.sh index f0745dd..94dfcb1 100755 --- a/build.sh +++ b/build.sh @@ -162,7 +162,6 @@ isfresh "$outd/help.ml" '$cmd$(eval $keycmd)$ver' || { echo "k='$cmd$(eval $keycmd)$ver'" >"$outd/help.ml.past" } && vecho "fresh $outd/help.ml" - case "${2-}" in man) md=$outd/man -- 2.11.4.GIT