diff options
author | Peter Stephenson <pws@users.sourceforge.net> | 2012-04-14 20:42:38 +0000 |
---|---|---|
committer | Peter Stephenson <pws@users.sourceforge.net> | 2012-04-14 20:42:38 +0000 |
commit | bf62018cc75dedc0df840f728eb6c1637babe3e1 (patch) | |
tree | ff78f4e77c8e185b60cdf27ebc84c8a3403fd455 /Doc/.distfiles | |
parent | 1416ec964445a6717c6c1f3c5cc753f1dbb57d9a (diff) | |
download | zsh-bf62018cc75dedc0df840f728eb6c1637babe3e1.tar.gz zsh-bf62018cc75dedc0df840f728eb6c1637babe3e1.tar.xz zsh-bf62018cc75dedc0df840f728eb6c1637babe3e1.zip |
30402: turn intro.ms into intro.pdf for doc distribution
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 07263317c..b639949d3 100644 --- a/Doc/.distfiles +++ b/Doc/.distfiles @@ -18,4 +18,5 @@ DISTFILES_DOC=' *.html zsh.dvi zsh.pdf + intro.pdf ' |