From: Chris Billington Subject: Re: print/texinfo renames info files unnecessarily so 'info gtexinfo' doesn't work To: Stuart Henderson Cc: Date: Thu, 4 Dec 2025 20:05:19 +0800 --- Makefile.orig Thu Dec 4 20:03:03 2025 +++ Makefile Thu Dec 4 19:59:32 2025 @@ -1,7 +1,7 @@ COMMENT = official documentation format of the GNU project DISTNAME = texinfo-7.1 -REVISION = 1 +REVISION = 2 CATEGORIES = print @@ -32,7 +32,6 @@ # gtexindex is a shell script which hardcodes texindex.awk post-install: - cd ${PREFIX}/info && for i in *.info*; do mv $$i g$$i; done cd ${PREFIX}/share/texinfo && mv gtexindex.awk texindex.awk .include On Thu, 04 Dec 2025 11:57:41 +0000 Stuart Henderson wrote: > I think I understand what you're saying, but to make it clear, please > send a diff. > > -- > Sent from a phone, apologies for poor formatting. > > On 4 December 2025 11:29:28 Chris Billington > wrote: > > > I noticed that the print/texinfo port (7.1) renames the executables > > to 'gtexinfo', 'gtexi2any' and so on, to avoid conflict with the > > older version 4.2 of texinfo in Base. > > > > A post-install target is also used to prefix the .info files > > installed in /usr/local/info with 'g': > > > > cd ${PREFIX}/info && for i in *.info*; do mv $$i g$$i; done > > > > However, after this renaming, 'info gtexinfo' and 'ginfo gtexinfo' > > (etc...) do not work, because the metadata in the source .texi files > > still refers to the original executable names. This metadata is put > > into /usr/local/info/dir, and the renamed files are not found. > > > > Removing the Makefile post-install line to rename the .info files > > restores expected operation, that is: > > > > 'info texinfo' gives the info file for Texinfo 4.2 in base > > 'info gtexinfo' gives the info file for Texinfo 7.1 from ports. > > 'info 'gtexi2any' gives a manpage, but there is an up-to-date > > section in 'info gtexinfo' that covers it, which is how I think > > it's supposed to be. > > 'info ginfo-stnd' works OK. > > > > I have tested the tweak on 7.8 Release/amd64. > > > > -- > > Chris Billington > -- Chris Billington