[ci skip] documentation

This commit is contained in:
Masataro Asai 2017-06-03 01:41:41 +09:00
parent ded206635d
commit e360c195f3

View file

@ -83,8 +83,8 @@ Reduction options are processed in the left-to-right manner.
--delete-package PKG
: This option can be specified multiple times. It uninterns the symbols in
the given package, calls `makeunbound` and `fmakeunbound` on each symbol
and deletes the package.
PACKAGE, calls `makeunbound` and `fmakeunbound` on each symbol
and deletes the package. Package names are automatically string-upcase'd.
--delete-all-packages
: This option applies --delete-package PKG on all packages, except some