From e66160e3427942e1be431f18140b0d1951ac60b2 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 16 Dec 2013 12:42:46 -0700 Subject: [PATCH] setup/setup: fix `#:make-doc-index?` default Making the default match the docs fixes Planet package installation, which otherwise tries to rebuild the index too frequently. Merge bug fix to v6.0 (pending review) (cherry picked from commit ec5157d78fd7d38c5fe1d09f29d58f14a8ff7ca2) --- racket/collects/setup/setup.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/racket/collects/setup/setup.rkt b/racket/collects/setup/setup.rkt index 5895a48f29..209a120aae 100644 --- a/racket/collects/setup/setup.rkt +++ b/racket/collects/setup/setup.rkt @@ -11,7 +11,7 @@ #:planet-specs [planet-specs #f] #:collections [collections #f] #:make-docs? [make-docs? #t] - #:make-doc-index? [make-doc-index? #t] + #:make-doc-index? [make-doc-index? #f] #:make-user? [make-user? #t] #:clean? [clean? #f] #:tidy? [tidy? #f]