When building with --disable-gtk-doc, html docs are still built and installed.
Created attachment 126126 [details] webkit-gtk-1.7.5-build.log Build log of 1.7.5 tarball. Make sure that you don't miss the `./configure --disable-gtk-doc` output ;)
This seems to be fixed now, please reopen if you think it's still relevant.