diff options
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 ' |