On Tue, 15 Aug 2023 22:37:08 +0200 Olaf Hering <o...@aepfle.de> wrote:
> Tue, 15 Aug 2023 12:31:29 -0500 Glenn Washburn <developm...@efficientek.com>: > > > I'm not seeing this issue when building on Debian 11. I'm successfully > > building the info, html, and pdf documentation from the texi files > > using debians texinfo package at version 6.7.0.dfsg.2-6. Are you sure > > you are building from clean sources? What version of texinfo are you at? > > The sources are clean, makeinfo 4.13a is used. Is that a 6+ year old version[1]? Here's my output: $ makeinfo --version texi2any (GNU texinfo) 6.7 Anyway, since you're the first and *so far* only person seeing this, could you submit a patch that fixes this for you? It would be great to support older makeinfos (if that is indeed the issue) in the upcoming release. Glenn [1] https://lists.gnu.org/archive/html/bug-gnulib/2016-06/msg00017.html _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel