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

adjust planet client to handle nested planet invocations by re-building the doc index only once

Browse Source 
svn: r15246

original commit: 53a011cf65
This commit is contained in:
Matthew Flatt 2009-06-23 22:02:07 +00:00
commit bf222f9bc2
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/setup/option-sig.ss
View File

@ -16,6 +16,7 @@
make-docs
make-user
make-planet
avoid-main-installation
call-install
call-post-install
pause-on-errors
@ -24,5 +25,6 @@
specific-collections
specific-planet-dirs
archives
archive-implies-reindex
current-target-directory-getter
current-target-plt-directory-getter)))