diff options
author | wxs <wxs@FreeBSD.org> | 2011-12-28 09:46:02 +0800 |
---|---|---|
committer | wxs <wxs@FreeBSD.org> | 2011-12-28 09:46:02 +0800 |
commit | 9b6d8a1217eb1e4dc4c48cc2db81b4c864777119 (patch) | |
tree | 6f93d5a43abb5001119040a193f3bb27f2f24b94 /Tools/scripts | |
parent | 6fba2c27ee11f5ebccc9c97fea6f3d2e5dfcb83d (diff) | |
download | freebsd-ports-gnome-9b6d8a1217eb1e4dc4c48cc2db81b4c864777119.tar.gz freebsd-ports-gnome-9b6d8a1217eb1e4dc4c48cc2db81b4c864777119.tar.zst freebsd-ports-gnome-9b6d8a1217eb1e4dc4c48cc2db81b4c864777119.zip |
Better wording to clarify the previous two commits.
Submitted by: dougb@
Diffstat (limited to 'Tools/scripts')
-rw-r--r-- | Tools/scripts/README.portsearch | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Tools/scripts/README.portsearch b/Tools/scripts/README.portsearch index 8e16facbdbc9..e381b034c572 100644 --- a/Tools/scripts/README.portsearch +++ b/Tools/scripts/README.portsearch @@ -39,7 +39,8 @@ DESCRIPTION fields. This option behaves differently to the other op- tions, see the EXAMPLES section - -f file Use the index file, file, instead of /usr/ports/INDEX + -f file Use an index file with the name "file," instead of + /usr/ports/INDEX All searches are case-insensitive |