diff --git a/collects/scribblings/main/private/manuals.rkt b/collects/scribblings/main/private/manuals.rkt index 4c5b02600e..7ba5521a61 100644 --- a/collects/scribblings/main/private/manuals.rkt +++ b/collects/scribblings/main/private/manuals.rkt @@ -36,6 +36,7 @@ (lambda (i rec) (define dir (directory-record-path rec)) (define s (and (or all? (in-main-collects? dir)) + i (i 'scribblings))) (if (not s) null