PATCH: one more 4.0 doc fix

PATCH: one more 4.0 doc fix

[Peter Stephenson]

I'm assuming there's no particular reason why the set of HTML files was so
selective...

Index: Doc/.distfiles
===================================================================
RCS file: /cvsroot/zsh/zsh/Doc/.distfiles,v
retrieving revision 1.2
diff -u -r1.2 .distfiles
--- Doc/.distfiles	2000/09/04 21:10:29	1.2
+++ Doc/.distfiles	2001/10/24 16:18:18
@@ -13,6 +13,6 @@
 
 DISTFILES_DOC='
     zsh.info zsh.info-[0-9]*
-    zsh_*toc.html zsh_[0-9]*.html
+    zsh*.html
     zsh.dvi zsh_us.ps zsh_a4.ps
 '

-- 
Peter Stephenson <pws@csr.com>                  Software Engineer
CSR Ltd., Science Park, Milton Road,
Cambridge, CB4 0WH, UK                          Tel: +44 (0)1223 392070


**********************************************************************
The information transmitted is intended only for the person or
entity to which it is addressed and may contain confidential 
and/or privileged material. 
Any review, retransmission, dissemination or other use of, or
taking of any action in reliance upon, this information by 
persons or entities other than the intended recipient is 
prohibited.  
If you received this in error, please contact the sender and 
delete the material from any computer.
**********************************************************************