From bf62018cc75dedc0df840f728eb6c1637babe3e1 Mon Sep 17 00:00:00 2001 From: Peter Stephenson Date: Sat, 14 Apr 2012 20:42:38 +0000 Subject: 30402: turn intro.ms into intro.pdf for doc distribution --- Doc/.distfiles | 1 + 1 file changed, 1 insertion(+) (limited to 'Doc/.distfiles') 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 ' -- cgit 1.4.1