suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

better filtering of user docs (?)

Browse Source 
svn: r11056
This commit is contained in:
Eli Barzilay 2008-08-03 22:28:03 +00:00
parent 74dd0655e5
commit 1d00d880ec
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/setup/scribble.ss
View File

@ -30,7 +30,8 @@
(define (user-doc? doc) (define (user-doc? doc)
(or (memq 'user-doc-root (doc-flags 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?) (define (filter-user-docs docs make-user?)
(cond ;; Specifically disabled user stuff, filter (cond ;; Specifically disabled user stuff, filter