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)
This commit is contained in:
Matthew Flatt 2013-12-16 12:42:46 -07:00
parent edb04b8bfe
commit ec5157d78f
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]