diff --git a/collects/setup/xref.rkt b/collects/setup/xref.rkt index 13432ec826..8316c56d78 100644 --- a/collects/setup/xref.rkt +++ b/collects/setup/xref.rkt @@ -19,7 +19,10 @@ (for/hash ([k (in-list (find-relevant-directories '(scribblings) 'no-planet))]) (values k #t)))) (for*/list ([dir (find-relevant-directories '(scribblings) 'all-available)] - [d ((get-info/full dir) 'scribblings)]) + [d (let ([info-proc (get-info/full dir)]) + (if info-proc + (info-proc 'scribblings) + '()))]) (unless (and (list? d) (pair? d)) (error 'xref "bad scribblings entry: ~e" d)) (let* ([len (length d)]