Fixed git repo detection: for worktrees, .git is a plain file.

diff --git a/version.sh b/version.sh
index 45dac50bc22920e7ee759b6b183396630ac9f0b6..e3eda0d21560db2162a85a4c9bcd5cd6ed9bdd84 100644 (file)
--- a/version.sh
+++ b/version.sh
@@ -7,7 +7,7 @@ srcdir=`dirname "$0"` && cd "$srcdir" || exit 1
 
 # Ensure that we have a repo here.
 # If not, just cat the VERSION file; it contains the latest release number.
-{ [ -d ".git" ] && command -v git >/dev/null 2>&1; } \
+{ [ -e ".git" ] && command -v git >/dev/null 2>&1; } \
 || exec cat VERSION
 
 latesttag="$(git tag --merged=HEAD --list 'mutt-*-rel' | tr - . | sort -Vr | head -n1 | tr . -)"