Hello,
It would be tremendously useful to have makeinfo --html to generate .devhelp file. That way GNU developer documentation (e.g. gcc/automake/autoconf) could be searched and viewed using GNOME Devhelp and thus have one more way to be viewed.
In the past texi2html output was scanned and processed to generate a .devhelp file.
All that .devhelp file has is essentially indexes and metadata:
* document info
* Table of Context
* Reference Index of Symbols
I quickly looked at tp/Texinfo/Convert but I am struggling to learn it as to how to make HTML.pm generate one more file with xml index in the devhelp format.
E.g. sphinx documentation toolchain has such a option already (to build .devhelp file when building html documentation).
--
Regards,
Dimitri.