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: 51d48f3ab4
This commit is contained in:
Matthew Flatt 2013-04-17 10:08:27 -06:00
parent 4af90112d0
commit cdbe3e0aaf

View File

@ -11,6 +11,7 @@
compiler-verbose compiler-verbose
clean clean
compile-mode compile-mode
make-only
make-zo make-zo
make-info-domain make-info-domain
make-launchers make-launchers
@ -18,6 +19,7 @@
make-user make-user
make-planet make-planet
avoid-main-installation avoid-main-installation
make-tidy
call-install call-install
call-post-install call-post-install
pause-on-errors pause-on-errors