> 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.
