From 494444b90a09b82b84d9964b3989d2de0d48761b Mon Sep 17 00:00:00 2001 From: Peter Stephenson Date: Fri, 27 Jul 2012 18:43:17 +0000 Subject: 30590: Work around problem turning intro.ms into PDF --- Doc/.distfiles | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Doc/.distfiles') 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 ' -- cgit 1.4.1