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.
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
HEADER.html 2015-03-16 22:18 871
![[ ]](/icons/unknown.gif)
devhelp-1.dtd 2015-03-16 21:55 736
devhelp-1.dtd.txt 2015-03-16 22:17 736
pyhtml2devhelp.py 2015-03-16 21:52 8.2K
python3.4.devhelp 2015-03-16 21:53 1.1M
![[ ]](/icons/compressed.gif)
python3.4.devhelp.gz 2015-03-16 21:53 139K
texi2devhelp.sh 2015-03-16 21:56 1.1K
Apache Server at people.debian.org Port 443