0.8.15.20: Fix HTML installation
* On some systems we were installing the HTML docs
in ever deeper directories on every install. Make
it not so, and try to stick to commandline flags
actually specified in SUV3. Reported by Stefan Scholl.