fix setup-plt doc rendering

svn: r18758
This commit is contained in:
Matthew Flatt 2010-04-08 02:06:02 +00:00
parent 96332e5f8d
commit d436f1deb3

View File

@ -887,7 +887,7 @@
(when (make-info-domain) (make-info-domain-step)) (when (make-info-domain) (make-info-domain-step))
(when (make-docs) (when (make-docs)
;; Double-check that "setup/scribble" is present. ;; Double-check that "setup/scribble" is present.
(unless (file-exists? (build-path (collection-path "setup") "scribble.ss")) (when (file-exists? (build-path (collection-path "setup") "scribble.ss"))
(make-docs-step))) (make-docs-step)))
(when (doc-pdf-dest) (doc-pdf-dest-step)) (when (doc-pdf-dest) (doc-pdf-dest-step))