do not remove all the html (use git clean -f for that) otherwise we kill the usermanual