diff options
| author | Peter Stephenson <pws@users.sourceforge.net> | 2009-04-16 10:17:23 +0000 |
|---|---|---|
| committer | Peter Stephenson <pws@users.sourceforge.net> | 2009-04-16 10:17:23 +0000 |
| commit | 6b617801d063906d54af5581578b26c3ab0e0e44 (patch) | |
| tree | f8165238eb0fe58408b39a1bb4f126a7c560e480 /Doc/.distfiles | |
| parent | 9961acc5662c5150d342162fad246fd1597c1029 (diff) | |
| download | zsh-6b617801d063906d54af5581578b26c3ab0e0e44.tar.gz zsh-6b617801d063906d54af5581578b26c3ab0e0e44.tar.xz zsh-6b617801d063906d54af5581578b26c3ab0e0e44.zip | |
26839: add --node-files option to texi2html
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 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 ' |