auto-version.in: Don't insist that `.git' is a directory.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 22 Jul 2017 10:35:55 +0000 (11:35 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 7 May 2020 19:33:33 +0000 (20:33 +0100)
commit399c828727e81f39fc7c4139f68dd8044e0a2b04
tree0e85906d5f3697cbc93f743d1d6fce47c9ea195b
parentd7015c990ea48349e702dcf8b545545c0c1c7797
auto-version.in: Don't insist that `.git' is a directory.

Nowadays, `git worktree' can cause this to be a regular file instead,
and it's a shame if we can't spot it properly.

(cherry picked from commit e3bf207c8bde1191c3850debd27ac604305bff31)
auto-version.in