scribblings/main: fix installation start page to avoid user-specific packages

This commit is contained in:
Matthew Flatt 2013-07-03 17:54:56 -06:00
parent aabbfdc3d5
commit 7e42b8dea2
2 changed files with 4 additions and 9 deletions

View File

@ -29,17 +29,12 @@
(if sep? (cons (mk-sep lbl) l) l))]))))
(define (get-docs all? tag)
(let* ([recs (find-relevant-directory-records (list tag) 'all-available)]
(let* ([recs (find-relevant-directory-records (list tag) (if all? 'all-available 'no-user))]
[infos (map get-info/full (map directory-record-path recs))]
[main-dirs (parameterize ([current-library-collection-paths
(list (find-collects-dir))])
(for/hash ([k (in-list (find-relevant-directories (list tag) 'no-planet))])
(values k #t)))]
[docs (append-map
(lambda (i rec)
(define dir (directory-record-path rec))
(define s (and (or all? (hash-ref main-dirs dir #f))
i
(define s (and i
(i tag)))
(if (not s)
null

View File

@ -253,7 +253,7 @@
(get-info/full ((path-string?) (#:namespace (or/c namespace? #f)) . ->* . (or/c info? boolean?)))
(find-relevant-directories
(->* [(listof symbol?)]
[(lambda (x) (memq x '(preferred all-available no-planet no-user)))]
[(or/c 'preferred 'all-available 'no-planet 'no-user)]
(listof path?)))
(struct directory-record
([maj integer?]
@ -263,5 +263,5 @@
[syms (listof symbol?)]))
(find-relevant-directory-records
(->* [(listof symbol?)]
[(or/c 'preferred 'all-available 'no-planet)]
[(or/c 'preferred 'all-available 'no-planet 'no-user)]
(listof directory-record?))))