diff --git a/docs/Makefile.4ht b/docs/Makefile.4ht
index 65a0bc3931..8a5a3b3d13 100644
--- a/docs/Makefile.4ht
+++ b/docs/Makefile.4ht
@@ -21,6 +21,7 @@ preamble4:
 	tex4ht $< -i$(HTFONTS)
 	install -d $(basename $<) -m755
 	t4ht $< -d$(basename $<)/ -m644
+	rm $(basename $<)*.html
 
 
 user: htmlincludes preamble3 user.html