branch master updated: * tp/maintain/regenerate_file_lists.pl: Hardcode script name to be placed in Makefile.tres, so it will not change depending on where it was run from, e.g. from autogen.sh.

[Gavin D. Smith]

This is an automated email from the git hooks/post-receive script.

gavin pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new f5f7c147ef * tp/maintain/regenerate_file_lists.pl: Hardcode script 
name to be placed in Makefile.tres, so it will not change depending on where it 
was run from, e.g. from autogen.sh.
f5f7c147ef is described below

commit f5f7c147ef95e373e4303d9e6be2923ad5489445
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Sat Dec 3 11:23:52 2022 +0000

    * tp/maintain/regenerate_file_lists.pl: Hardcode script name
    to be placed in Makefile.tres, so it will not change depending
    on where it was run from, e.g. from autogen.sh.
---
 ChangeLog                            | 6 ++++++
 tp/maintain/regenerate_file_lists.pl | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 4bc974d213..168aefdc44 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2022-12-03  Gavin Smith  <gavinsmith0123@gmail.com>
+
+       * tp/maintain/regenerate_file_lists.pl: Hardcode script name
+       to be placed in Makefile.tres, so it will not change depending
+       on where it was run from, e.g. from autogen.sh.
+
 2022-12-03  Gavin Smith  <gavinsmith0123@gmail.com>
 
        * configure.ac, util/texi2pdf, js/info.js: bump version to 7.0dev.
diff --git a/tp/maintain/regenerate_file_lists.pl 
b/tp/maintain/regenerate_file_lists.pl
index dfda976f88..410c550b52 100755
--- a/tp/maintain/regenerate_file_lists.pl
+++ b/tp/maintain/regenerate_file_lists.pl
@@ -49,7 +49,7 @@ sub wanted_tap_files
 
 open (INCLUDE, '>Makefile.tres') or die "open(>Makefile.tres) failed: $!";
 print INCLUDE <<EOH;
-# Makefile.tres generated by $0.
+# Makefile.tres generated by maintain/regenerate_file_lists.pl
 #
 EOH