From e360c195f3930653553ad19c528bbd0da9d96942 Mon Sep 17 00:00:00 2001 From: Masataro Asai Date: Sat, 3 Jun 2017 01:41:41 +0900 Subject: [PATCH] [ci skip] documentation --- documents/ros-dump.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/documents/ros-dump.md b/documents/ros-dump.md index 588f3b3..490c42c 100644 --- a/documents/ros-dump.md +++ b/documents/ros-dump.md @@ -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