diff --git a/docs/Makefile b/docs/Makefile
index 12645d8aeba..da24e8e18f1 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -1,2 +1,6 @@
 doxygen-files:
 	/home/vadve/lattner/bin/doxygen doxygen.cfg
+
+doxygen.tar.gz: doxygen/index.html
+	rm -rf $@
+	gtar czvf $@ doxygen