1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/.distfiles b/Doc/.distfiles
index 60a15be63..07263317c 100644
--- a/Doc/.distfiles
+++ b/Doc/.distfiles
@@ -15,7 +15,7 @@ DISTFILES_SRC='
 
 DISTFILES_DOC='
     zsh.info zsh.info-[0-9]*
-    zsh.html zsh_*toc.html zsh_[0-9]*.html
+    *.html
     zsh.dvi
     zsh.pdf
 '