Include the GNU info format in the edist target since we're now
building a fair portion of the documentation as info.
diff --git a/Doc/Makefile b/Doc/Makefile
index e4d9d6d..74765b8 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -652,7 +652,7 @@
 distlatex:	tarlatex bziplatex ziplatex
 
 paperdist:	distpdf distps
-edist:		disthtml zipisilo
+edist:		disthtml distinfo zipisilo
 
 pkglist:
 	$(TOOLSDIR)/mkpkglist >pkglist.html