remove gzipped archives from the list of expected distributions

diff --git a/Doc/Makefile b/Doc/Makefile
index 5d00670e7ecd6231ac11820b5147e60f392e90f7..09a3ff97d0afa6f7f1c9740aebf167a90600bb44 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -675,11 +675,11 @@ bziplatex:        latex-$(RELEASE).tar.bz2
 
 bzips:         bzippdf bzipps bziphtml
 
-disthtml:      tarhtml bziphtml ziphtml
-distinfo:      tarinfo bzipinfo
-distps:                tarps bzipps zipps
-distpdf:       tarpdf bzippdf zippdf
-distlatex:     tarlatex bziplatex ziplatex
+disthtml:      bziphtml ziphtml
+distinfo:      bzipinfo
+distps:                bzipps zipps
+distpdf:       bzippdf zippdf
+distlatex:     bziplatex ziplatex
 
 # We use the "pkglist" target at the end of these to ensure the
 # package list is updated after building either of these; this seems a