mkhtml2: downgrade 'no id' warnings
commit9544b0490b6fae8eff168e97ed06b88e17541923
authorStefan Sauer <ensonic@users.sf.net>
Fri, 30 Mar 2018 10:13:30 +0000 (30 12:13 +0200)
committerStefan Sauer <ensonic@users.sf.net>
Fri, 30 Mar 2018 10:15:29 +0000 (30 12:15 +0200)
tree422d95bc9054f35078fc62985d5ce9a2804262af
parentd34908dabb8de9781ca4ca87a25297d0233f9281
mkhtml2: downgrade 'no id' warnings

This is not a mistake, one can simple avoid the runtime penalty of generating
one by adding one here.
gtkdoc/mkhtml2.py