gnome-doc-tool seems to ignore "-o html" so manually generate the same effect. Solves PLIST problem due to missing html files.