From: Chris Hanson <org/chris-hanson/cph>
Date: Wed, 26 Jul 2000 16:48:19 +0000 (+0000)
Subject: Don't generate .dvi files; do generate .pdf files.
X-Git-Tag: 20090517-FFI~3312
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=7a8d87eb57b5c7fa29372c5e4a37f0c40025c0fa;p=mit-scheme.git

Don't generate .dvi files; do generate .pdf files.
---

diff --git a/v7/dist/make-doc-files b/v7/dist/make-doc-files
index 785ac7804..42f878539 100755
--- a/v7/dist/make-doc-files
+++ b/v7/dist/make-doc-files
@@ -9,7 +9,7 @@ mkdir ${prefix}
 mkdir ${tldir}
 
 mans="ref-manual user-manual sos imail"
-types="texinfo info dvi ps html"
+types="texinfo info ps pdf html"
 
 for type in ${types}
 do