suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

setup/setup: fix #:make-doc-index? default

Browse Source 
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 ec5157d78f)
This commit is contained in:
Matthew Flatt 2013-12-16 12:42:46 -07:00 committed by Ryan Culpepper
parent cdcdd3cdd9
commit e66160e342
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
racket/collects/setup/setup.rkt
View File

@ -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]