[gtk-doc] db2html: more planning

[Stefan Sauer <stefkost src gnome org>]

commit 4aa72cc11b7851527f27d4367e54ac30e25e3270
Author: Stefan Sauer <ensonic users sf net>
Date:   Thu Jan 18 21:42:33 2018 +0100

    db2html: more planning

 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('&', '&amp;').replace('<', '&lt;').replace('>', '&gt;')