Write index.html rather than integrity.html when generating html documentation
Clobber doc/build