[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

.devhelp generator for --html mode in makeinfo

From: Dimitri John Ledkov
Subject: .devhelp generator for --html mode in makeinfo
Date: Sun, 15 Mar 2015 22:33:38 +0000


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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]