From d7c577b7e0912ced59ecec561788c5932d7d4543 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Thu, 7 Aug 2008 20:45:39 +0000
Subject: [PATCH] removed stupid debugging (exit)

svn: r11134
---
 collects/setup/scribble.ss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/setup/scribble.ss b/collects/setup/scribble.ss
index 23c2107d56..c603a2bb6b 100644
--- a/collects/setup/scribble.ss
+++ b/collects/setup/scribble.ss
@@ -34,7 +34,7 @@
 
 (define (filter-user-docs docs make-user?)
   (cond ;; Specifically disabled user stuff, filter
-        [(not make-user?) (filter main-doc? docs) (exit)]
+        [(not make-user?) (filter main-doc? docs)]
         ;; If we've built user-specific before, keep building
         [(file-exists? (build-path (find-user-doc-dir) "index.html")) docs]
         ;; Otherwise, see if we need it: