Collin Funk wrote: > When building gnulib documentation I get the following error:
Thanks for the report and fix! Applied. > I don't know Texinfo (or TeX error messages to be honest). It seems > that this doesn't affect info or html, but only dvi, pdf etc. Yes, and this is a reason for supporting it in all output modes. I've filed a texinfo bug about it now: https://lists.gnu.org/archive/html/bug-texinfo/2024-03/msg00001.html Bruno
