This is a collection of files describing integration support of
arbitrary html based (api/developer) documentation with GNOME Devhelp
(natively xml/sgml/docbook).
- devhelp-1.dtd - schema for the xml .devhelp file
- devhelp-1.dtd.txt - above, but renders nicely straight in the browser
- pyhtml2devhelp.py - example script to process Python html docs into Devhelp
- python3.4.devhelp - produced .devhelp by above script
- python3.4.devhelp.gz - above, compressed
- texi2devhelp.sh - acient texi2html based script to generate .devhelp (borked on modern texinfo)
The python3.4.devhelp file corresponds to python3.4 docs https://docs.python.org/3/ & https://docs.python.org/3/genindex-all.html.