diff --git a/collects/setup/private/path-utils.ss b/collects/setup/private/path-utils.ss index a41cc30a9c..2c39a07d09 100644 --- a/collects/setup/private/path-utils.ss +++ b/collects/setup/private/path-utils.ss @@ -8,17 +8,18 @@ (provide doc-path path->name) -(define (doc-path dir name flags [false-if-missing-user-doc? #f]) +;; user-doc-mode can be `false-if-missing' or `never' +(define (doc-path dir name flags [user-doc-mode #f]) (define (user-doc [sub #f]) - (let ([d (find-user-doc-dir)]) - (and (or (not false-if-missing-user-doc?) - (directory-exists? d)) - (if sub (build-path d sub) d)))) + (and (not (eq? 'never)) + (let ([d (find-user-doc-dir)]) + (and (or (not (eq? 'false-if-missing user-doc-mode)) + (directory-exists? d)) + (if sub (build-path d sub) d))))) (cond [(memq 'main-doc-root flags) (find-doc-dir)] [(memq 'user-doc-root flags) (user-doc)] [(memq 'user-doc flags) (user-doc name)] - [(or (memq 'main-doc flags) - (pair? (path->main-collects-relative dir))) + [(or (memq 'main-doc flags) (pair? (path->main-collects-relative dir))) (build-path (find-doc-dir) name)] [else (build-path dir "doc" name)])) diff --git a/collects/setup/xref.ss b/collects/setup/xref.ss index 443a25e927..be7e60819f 100644 --- a/collects/setup/xref.ss +++ b/collects/setup/xref.ss @@ -19,10 +19,11 @@ [flags (if (len . >= . 2) (cadr d) '())] [name (if (len . >= . 4) (cadddr d) - (path->string (path-replace-suffix - (file-name-from-path (car d)) #"")))]) + (path->string + (path-replace-suffix (file-name-from-path (car d)) + #"")))]) (and (not (and (len . >= . 3) (memq 'omit (caddr d)))) - (let ([d (doc-path dir name flags #t)]) + (let ([d (doc-path dir name flags 'false-if-missing)]) (and d (build-path d "out.sxref"))))))) (define (get-reader-thunks)