mkhtml2: make sure we generate unique filenames if no id is given
commite7cb8432fd3bae1fdf1d6036fcf5ed87ddd3a56e
authorStefan Sauer <ensonic@users.sf.net>
Mon, 16 Apr 2018 16:42:49 +0000 (16 18:42 +0200)
committerStefan Sauer <ensonic@users.sf.net>
Mon, 16 Apr 2018 16:42:49 +0000 (16 18:42 +0200)
tree16e83d814ae71745f840ba38e3ec62bf629f13b3
parent6a9b3c293af818b1a3db8acf39c7758828284abc
mkhtml2: make sure we generate unique filenames if no id is given

We don't implement the complicated scheme that docbook uses yet. If
one needs a link target, set the 'id' attribute.
gtkdoc/mkhtml2.py