[vlc-devel] [PATCH] doc: fix make distcheck with git worktrees

Romain Vimont rom1v at videolabs.io
Mon Jan 13 14:08:12 CET 2020


In a git worktree, .git is a regular (text) file, not a directory.
---
 doc/Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/Makefile.am b/doc/Makefile.am
index ba22f12127..0b8bd54ec5 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -75,7 +75,7 @@ doc: Doxyfile
 	doxygen
 
 $(CHANGELOGS): Makefile.am
-	if test -d "$(top_srcdir)/.git"; then \
+	if test -e "$(top_srcdir)/.git"; then \
 		y="$@"; y="$${y##ChangeLog-}" ; \
 		git --git-dir="$(top_srcdir)/.git" log \
 			--since="$$y-01-01" \
-- 
2.25.0.rc2



More information about the vlc-devel mailing list