From ec5157d78fd7d38c5fe1d09f29d58f14a8ff7ca2 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) --- 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]