> From: Jeremy Bryant <[email protected]> > Cc: [email protected], Björn Bidar > <[email protected]>, Richard > Stallman <[email protected]> > Date: Sat, 28 Dec 2024 22:20:36 +0000 > > Eli Zaretskii <[email protected]> writes: > > >> From: Jeremy Bryant <[email protected]> > >> 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.
