Log Message:
This package needs gtk-doc to successfully build its HTML docs.  Adding a
build dependency on gtk-doc isn't enough to make everything happy, because
the gtk-doc package unhelpfully disables sgml support by default (in the
name of avoiding a "heavy" jade dependency).  In order to get a package
that is consistent regardless of which additional packages are installed,
let's just not install the HTML docs at all.