diff options
author | Peter Stephenson <pws@users.sourceforge.net> | 2004-06-03 15:15:53 +0000 |
---|---|---|
committer | Peter Stephenson <pws@users.sourceforge.net> | 2004-06-03 15:15:53 +0000 |
commit | 4070b8ba9eaf31d38908cdcde8114d1cbf4e35b9 (patch) | |
tree | 82dcba3c69034876408bb52acb6b92994f6ddfca /Doc/.distfiles | |
parent | 03d14ff12e933c6f7c57946db19c19963375c235 (diff) | |
download | zsh-4070b8ba9eaf31d38908cdcde8114d1cbf4e35b9.tar.gz zsh-4070b8ba9eaf31d38908cdcde8114d1cbf4e35b9.tar.xz zsh-4070b8ba9eaf31d38908cdcde8114d1cbf4e35b9.zip |
20017: zsh.html was missing from doc distributino
Diffstat (limited to 'Doc/.distfiles')
-rw-r--r-- | Doc/.distfiles | 2 |
1 files changed, 1 insertions, 1 deletions
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 ' |