From cdbe3e0aafd2716fcc10704032997943755e533d Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 17 Apr 2013 10:08:27 -0600 Subject: [PATCH] raco setup: --tidy mode (as needed by `raco pkg remove') and more When a collection disappears, then documentation and metadata cross-references need fixing up based on everything that remains available, even though other setup actions are confined to collections that are specifically relevant to the packages. The new `--tidy' mode takes care of that. Package installation now also provides `--avoid-main' when working with packages in a scope other than installation scope, and `raco setup' now better respects `--avoid-main' to avoid creating executables or re-running documentation. Also, revise the `raco' documentation to better orient it toward the package manager. original commit: 51d48f3ab459475db5aa15966e28e51a4aba2d49 --- collects/setup/option-sig.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/setup/option-sig.rkt b/collects/setup/option-sig.rkt index 00e9f426bd..f545cca0b4 100644 --- a/collects/setup/option-sig.rkt +++ b/collects/setup/option-sig.rkt @@ -11,6 +11,7 @@ compiler-verbose clean compile-mode + make-only make-zo make-info-domain make-launchers @@ -18,6 +19,7 @@ make-user make-planet avoid-main-installation + make-tidy call-install call-post-install pause-on-errors