mkhtml2: use the raw title xml attributes
commit1c925f7bd3fb343beb9aaace35742e3e5fa1dcbc
authorStefan Sauer <ensonic@users.sf.net>
Thu, 10 May 2018 17:24:20 +0000 (10 19:24 +0200)
committerStefan Sauer <ensonic@users.sf.net>
Thu, 10 May 2018 17:31:50 +0000 (10 19:31 +0200)
treefeb83765ff005906338de59c8dcfb73cbc3c8849
parentfed55be5678cc8b609e5def1e65c3e985cac8f49
mkhtml2: use the raw title xml attributes

When putting a title into e.g. a tooltip, nav-link or devhelp attr, use an
unformatted version.
gtkdoc/mkhtml2.py