diff --git a/Doc/Makefile b/Doc/Makefile
index e4d9d6d8791..74765b8e291 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -652,7 +652,7 @@ distpdf:	tarpdf bzippdf zippdf
 distlatex:	tarlatex bziplatex ziplatex
 
 paperdist:	distpdf distps
-edist:		disthtml zipisilo
+edist:		disthtml distinfo zipisilo
 
 pkglist:
 	$(TOOLSDIR)/mkpkglist >pkglist.html