From 1d00d880ecea82addeff4ca19c34d5377cf58ecb Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Sun, 3 Aug 2008 22:28:03 +0000
Subject: [PATCH] better filtering of user docs (?)

svn: r11056
---
 collects/setup/scribble.ss | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/collects/setup/scribble.ss b/collects/setup/scribble.ss
index e249e5c514..44246529f6 100644
--- a/collects/setup/scribble.ss
+++ b/collects/setup/scribble.ss
@@ -30,7 +30,8 @@
 
 (define (user-doc? doc)
   (or (memq 'user-doc-root (doc-flags doc))
-      (memq 'user-doc (doc-flags doc))))
+      (memq 'user-doc (doc-flags doc))
+      (not (doc-under-main? doc))))
 
 (define (filter-user-docs docs make-user?)
   (cond ;; Specifically disabled user stuff, filter