[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Fix an error during "./configure; make dist"
From: |
Patrice Dumas |
Subject: |
Re: Fix an error during "./configure; make dist" |
Date: |
Sat, 10 Aug 2024 17:56:03 +0200 |
On Sat, Aug 10, 2024 at 04:19:52PM +0100, Gavin Smith wrote:
> When I ran the commands you listed in an earlier email, there were several
> other differences reported in "build_in_out_source_differences.diff":
>
>
> diff -u -r ../in_source_dist_contents/texinfo-7.1.90/tp/Texinfo/Commands.pm
> texinfo-7.1.90/tp/Texinfo/Commands.pm
> --- ../in_source_dist_contents/texinfo-7.1.90/tp/Texinfo/Commands.pm
> 2024-08-10 15:48:05.000000000 +0100
> +++ texinfo-7.1.90/tp/Texinfo/Commands.pm 2024-08-10 15:50:09.000000000
> +0100
> @@ -1,4 +1,4 @@
> -# Automatically generated from ./maintain/regenerate_commands_perl_info.pl
> +# Automatically generated from
> ../../tp/maintain/regenerate_commands_perl_info.pl
>
> package Texinfo::Commands;
>
> I think this difference is fine.
>
> I don't think there are any problems here to be fixed.
This should be fixed by commit
https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=584a597ebba3d542dc3ca54c50f79f8fde995d7e
--
Pat
- Re: Fix an error during "./configure; make dist", (continued)
- Re: Fix an error during "./configure; make dist", Patrice Dumas, 2024/08/09
- Re: Fix an error during "./configure; make dist", Gavin Smith, 2024/08/09
- Re: Fix an error during "./configure; make dist", Patrice Dumas, 2024/08/09
- Re: Fix an error during "./configure; make dist", Bruno Haible, 2024/08/09
- Re: Fix an error during "./configure; make dist", Bruno Haible, 2024/08/10
- Re: Fix an error during "./configure; make dist", Patrice Dumas, 2024/08/10
- Re: Fix an error during "./configure; make dist", Gavin Smith, 2024/08/10
- Re: Fix an error during "./configure; make dist",
Patrice Dumas <=
- Re: Fix an error during "./configure; make dist", Patrice Dumas, 2024/08/10
- Re: Fix an error during "./configure; make dist", Bruno Haible, 2024/08/12
- release/7.1 build system fixes, Gavin Smith, 2024/08/29
- Re: Fix an error during "./configure; make dist", Bruno Haible, 2024/08/12
- Re: Fix an error during "./configure; make dist", Gavin Smith, 2024/08/10
- Re: Fix an error during "./configure; make dist", Gavin Smith, 2024/08/06
- Re: Fix an error during "./configure; make dist", Patrice Dumas, 2024/08/07
- Re: Fix an error during "./configure; make dist", Patrice Dumas, 2024/08/08
- Re: Fix an error during "./configure; make dist", Gavin Smith, 2024/08/08
- Re: Fix an error during "./configure; make dist", Gavin Smith, 2024/08/07