[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: gnulib-tool.sh: Don't emit an unnecessary './' path component.
From: |
Bruno Haible |
Subject: |
Re: gnulib-tool.sh: Don't emit an unnecessary './' path component. |
Date: |
Thu, 04 Apr 2024 01:34:12 +0200 |
Hi Collin,
> --- /home/collin/.local/src/texinfo/tp/Texinfo/XS/gnulib/lib/Makefile.am
> 2024-04-03 04:25:14.105131041 -0700
> +++
> /home/collin/.local/src/texinfo/tp/Texinfo/glpyemzDvH/gnulib/lib/Makefile.am
> 2024-04-03 04:25:02.276104588 -0700
> @@ -318,7 +318,7 @@
> ## begin gnulib module havelib
>
>
> -EXTRA_DIST += $(top_srcdir)/./config.rpath
> +EXTRA_DIST += $(top_srcdir)/config.rpath
>
> ## end gnulib module havelib
Indeed, the Python-based output is prettier in this case.
> This patch fixes it by checking if "$auxdir" is ".". If so, then we
> just prepend the file with '$(top_srcdir)/' instead of
> '$(top_srcdir)/'"$auxdir".
Thanks, applied with a small tweak.
Bruno
0001-gnulib-tool.sh-Reduce-code-duplication-in-last-commi.patch
Description: Text Data