diff options
author | Stefan Sauer <ensonic@users.sf.net> | 2018-01-18 21:42:33 +0100 |
---|---|---|
committer | Stefan Sauer <ensonic@users.sf.net> | 2018-01-18 21:42:33 +0100 |
commit | 4aa72cc11b7851527f27d4367e54ac30e25e3270 (patch) | |
tree | 1849fb2aabdb5c386d58d2c04843cd18f6144542 /tools | |
parent | 91ce72a2f9f9a122f456712d0baede84662dcdbe (diff) | |
download | gtk-doc-4aa72cc11b7851527f27d4367e54ac30e25e3270.tar.gz |
db2html: more planning
Diffstat (limited to 'tools')
-rw-r--r-- | tools/db2html.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/db2html.py b/tools/db2html.py index e52760a..968c1e4 100644 --- a/tools/db2html.py +++ b/tools/db2html.py @@ -29,6 +29,11 @@ TODO: convert the docbook-xml to html - refentry/index nav headers - check each docbook tag if it can contain #PCDATA, if not don't check for xml.text +- integrate syntax-highlighing from fixxref + - maybe handle the combination <informalexample><programlisting> directly + - switch to http://pygments.org/docs/quickstart/? +- integrate MakeXRef from fixxref + - first create devhelp2 output OPTIONAL: - minify html: https://pypi.python.org/pypi/htmlmin/ @@ -188,6 +193,7 @@ def chunk(xml_node, parent=None): # conversion helpers + def escape_entities(text): return text.replace('&', '&').replace('<', '<').replace('>', '>') |