db2html: add a basic 'id' generator.
commita7670f585bed7374f47b862fe0b55942a576dce3
authorStefan Sauer <ensonic@users.sf.net>
Thu, 22 Feb 2018 08:44:15 +0000 (22 09:44 +0100)
committerStefan Sauer <ensonic@users.sf.net>
Thu, 22 Feb 2018 20:11:48 +0000 (22 21:11 +0100)
tree691b2362b4ab05552d75ef5473a9467f5975e1f7
parent1c0e33018410355129edac1434b4a3acaa82bf40
db2html: add a basic 'id' generator.

This probably needs some changes. We'll need to study what the docbook
stylesheets do to generate stable and compatible ids.
tools/db2html.py