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
 '