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?
It also quotes the below, which makes me wonder if the script
gendocs.sh could be used to centralise info files?
# For information on automatically generating all the useful formats for
# a manual to put on the web, see
# http://www.gnu.org/prep/maintain/html_node/Manuals-on-Web-Pages.html
which includes:
We would like to list all GNU manuals on the page
https://www.gnu.org/manual, so if yours isn’t there, please send mail
to webmast...@gnu.org, asking them to add yours, and they will do so based
on the contents of your manual directory.
• Invoking gendocs.sh:
