• Paul Eggert's avatar
    Do not require that .git be a directory · 1aebe991
    Paul Eggert authored
    Problem reportyed by Phillip Lord.
    * admin/update_autogen, autogen.sh, build-aux/gitlog-to-emacslog:
    * configure.ac, make-dist:
    Do not require that .git be a directory, as 'git worktree' makes
    it a file and not a directory.
    1aebe991
make-dist 17.7 KB