From d436f1deb3b78bdaee30ab5b786155bcd8c380e9 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 8 Apr 2010 02:06:02 +0000 Subject: [PATCH] fix setup-plt doc rendering svn: r18758 --- collects/setup/setup-unit.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/setup/setup-unit.ss b/collects/setup/setup-unit.ss index 1a666b09f9..54884b70ca 100644 --- a/collects/setup/setup-unit.ss +++ b/collects/setup/setup-unit.ss @@ -887,7 +887,7 @@ (when (make-info-domain) (make-info-domain-step)) (when (make-docs) ;; 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))) (when (doc-pdf-dest) (doc-pdf-dest-step))