diff options
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 46f1e7406..85ecba62c 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_*toc.html zsh_[0-9]*.html zsh.dvi zsh_us.ps zsh_a4.ps ' |