diff options
author | Peter Stephenson <pws@users.sourceforge.net> | 2005-02-04 16:59:23 +0000 |
---|---|---|
committer | Peter Stephenson <pws@users.sourceforge.net> | 2005-02-04 16:59:23 +0000 |
commit | 64c2db0ca242269c92fac5cc8637580364c2b6f6 (patch) | |
tree | c2bd14cb1d5f9278bf5c3ee19e4f5362376d2205 /Doc/.distfiles | |
parent | 832650823499a1f4f55bbe1262b8dfc050299c25 (diff) | |
download | zsh-64c2db0ca242269c92fac5cc8637580364c2b6f6.tar.gz zsh-64c2db0ca242269c92fac5cc8637580364c2b6f6.tar.xz zsh-64c2db0ca242269c92fac5cc8637580364c2b6f6.zip |
Generated PDF from zsh.texi using pdfetex
Diffstat (limited to 'Doc/.distfiles')
-rw-r--r-- | Doc/.distfiles | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Doc/.distfiles b/Doc/.distfiles index 7e1996143..6c31ac7e7 100644 --- a/Doc/.distfiles +++ b/Doc/.distfiles @@ -15,4 +15,5 @@ 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.pdf ' |