diff --git a/Doc/Makefile b/Doc/Makefile
index 468294dcaff..e0d48c3b03b 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -199,6 +199,10 @@ l2hapi: api.dvi myformat.perl
 	mv api/xxx api/api.html
 	ln -s api.html api/index.html || true
 
+tarhtml: l2h
+	@echo "Did you remember to run makeMIFs.py in the ref subdirectory...?"
+	tar cf - index.html ???/???.css ???/*.html lib/*.gif icons/*.* | gzip >html.tar.gz
+
 
 # Housekeeping targets