There's no need to depend on gtk-doc to install .html files. See the tracking bug for details.
Seems to be fixed in F15.