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 e4d9d6d8791c2806c8b04645684be0c8e2d0473e..74765b8e291c431d34121fd7c75d8240fd23dba2 100644 (file)
--- 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