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.
