diff options
| author | Peter Stephenson <pws@users.sourceforge.net> | 2005-07-31 18:03:59 +0000 |
|---|---|---|
| committer | Peter Stephenson <pws@users.sourceforge.net> | 2005-07-31 18:03:59 +0000 |
| commit | 3d562f576c7f7b7f4e7b35828e7d9e7c80fc8546 (patch) | |
| tree | d92465fd0db006464c5db191cc0ac8d606ee3705 /Doc/.distfiles | |
| parent | d703d86d1b7632e5557ef5dcf8d4964c23a9b266 (diff) | |
| download | zsh-3d562f576c7f7b7f4e7b35828e7d9e7c80fc8546.tar.gz zsh-3d562f576c7f7b7f4e7b35828e7d9e7c80fc8546.tar.xz zsh-3d562f576c7f7b7f4e7b35828e7d9e7c80fc8546.zip | |
21553: improve zsh.pdf and don't distribute .ps
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 6c31ac7e7..18ac5272b 100644 --- a/Doc/.distfiles +++ b/Doc/.distfiles @@ -14,6 +14,6 @@ DISTFILES_SRC=' DISTFILES_DOC=' zsh.info zsh.info-[0-9]* zsh.html zsh_*toc.html zsh_[0-9]*.html - zsh.dvi zsh_us.ps zsh_a4.ps + zsh.dvi zsh.pdf ' |