There's no need to depend on gtk-doc to install .html files.\nSee the tracking bug for details.
Sorry, please ignore this one.