From 4070b8ba9eaf31d38908cdcde8114d1cbf4e35b9 Mon Sep 17 00:00:00 2001 From: Peter Stephenson Date: Thu, 3 Jun 2004 15:15:53 +0000 Subject: 20017: zsh.html was missing from doc distributino --- Doc/.distfiles | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Doc/.distfiles') diff --git a/Doc/.distfiles b/Doc/.distfiles index a23051f28..7e1996143 100644 --- a/Doc/.distfiles +++ b/Doc/.distfiles @@ -13,6 +13,6 @@ DISTFILES_SRC=' DISTFILES_DOC=' zsh.info zsh.info-[0-9]* - zsh_*toc.html zsh_[0-9]*.html + zsh.html zsh_*toc.html zsh_[0-9]*.html zsh.dvi zsh_us.ps zsh_a4.ps ' -- cgit 1.4.1