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
 '