In case we don't yet have a Makefile, but we already built HTML docs: delete them using debian/clean.