> From: Jeremy Bryant <j...@jeremybryant.net> > Cc: bug-texinfo@gnu.org, Björn Bidar > <bjorn.bi...@thaodan.de>, Richard > Stallman <r...@gnu.org> > Date: Sat, 28 Dec 2024 22:20:36 +0000 > > Eli Zaretskii <e...@gnu.org> writes: > > >> From: Jeremy Bryant <j...@jeremybryant.net> > >> Date: Sun, 15 Dec 2024 22:38:51 +0000 > >> > >> Hi Texinfo developers, > >> Most Texinfo manuals are presumably written directly in Texinfo, whilst > >> some are converted into it. > >> Is there a known index of such manuals? > > > > See util/htmlxref.cnf in the Texinfo source tree for a first > > approximation. > > Interesting. Is this file used pragmatically somewhere to generate a > master list of manuals?
No, not that I know of. Its purpose is something else.
