diff options
author | Peter Stephenson <pws@users.sourceforge.net> | 2012-07-27 18:43:17 +0000 |
---|---|---|
committer | Peter Stephenson <pws@users.sourceforge.net> | 2012-07-27 18:43:17 +0000 |
commit | 494444b90a09b82b84d9964b3989d2de0d48761b (patch) | |
tree | e100c8a256c2ccc031629b2b7543b5e6bcd0fefc /Doc/.distfiles | |
parent | 977d812b47b8fa960064303437c90c240619af6f (diff) | |
download | zsh-494444b90a09b82b84d9964b3989d2de0d48761b.tar.gz zsh-494444b90a09b82b84d9964b3989d2de0d48761b.tar.xz zsh-494444b90a09b82b84d9964b3989d2de0d48761b.zip |
30590: Work around problem turning intro.ms into PDF
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 b639949d3..85dc15781 100644 --- a/Doc/.distfiles +++ b/Doc/.distfiles @@ -18,5 +18,5 @@ DISTFILES_DOC=' *.html zsh.dvi zsh.pdf - intro.pdf + intro.a4.pdf intro.us.pdf ' |