Really removes html/.html. Really closes #1153

Author: JJ

Makefile

@@ -102,7 +102,7 @@ docker-run: docker-image
 
 clean-html:
 	rm -rf html/*.html html/.*.html \
-		html/.html/ \
+		html/.html \
 		html/language/ \
 		html/op/ \
 		html/programs/ \