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

Steve Lhomme robux4 at ycbcr.xyz
Mon Jan 13 14:10:11 CET 2020


On 2020-01-13 14:08, Romain Vimont wrote:
> In a git worktree, .git is a regular (text) file, not a directory.

Not here. There's for example .git/config which is convenient to edit.

> ---
>   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
> 
> _______________________________________________
> vlc-devel mailing list
> To unsubscribe or modify your subscription options:
> https://mailman.videolan.org/listinfo/vlc-devel
> 


More information about the vlc-devel mailing list