Paul Eggert 1aebe99145 Do not require that .git be a directory ...

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.

2016-04-13 11:12:39 -07:00

..

git-hooks

Update copyright year to 2016

2016-01-01 01:34:24 -08:00

snippet

Merge from gnulib

2016-01-01 01:13:18 -08:00

dir_top

Fix the preamble text of the DIR file we install (Bug#20213)

2015-03-29 19:41:04 +03:00

gitlog-to-changelog

Sync with gnulib

2016-03-23 11:19:52 -07:00

gitlog-to-emacslog

Do not require that .git be a directory

2016-04-13 11:12:39 -07:00

make-info-dir

Update copyright year to 2016

2016-01-01 01:34:24 -08:00

move-if-change

Merge from gnulib

2016-01-12 13:04:34 -08:00

msys-to-w32

Update copyright year to 2016

2016-01-01 01:34:24 -08:00

update-copyright

Merge from gnulib

2016-01-24 14:51:22 -08:00

update-subdirs

Update copyright year to 2016

2016-01-01 01:34:24 -08:00