diff options
author | Pascal Rigaux <pixel@mandriva.com> | 2006-12-13 12:33:17 +0000 |
---|---|---|
committer | Pascal Rigaux <pixel@mandriva.com> | 2006-12-13 12:33:17 +0000 |
commit | fd881538f7adf51e9f088c6a4890074dff71de62 (patch) | |
tree | f34e5bfb975f7de403b191e006c832f8eb9459a4 /urpmi.addmedia | |
parent | 69c8b7f4280c51cc7a6c735ffb66dd12d946eee2 (diff) | |
download | urpmi-fd881538f7adf51e9f088c6a4890074dff71de62.tar urpmi-fd881538f7adf51e9f088c6a4890074dff71de62.tar.gz urpmi-fd881538f7adf51e9f088c6a4890074dff71de62.tar.bz2 urpmi-fd881538f7adf51e9f088c6a4890074dff71de62.tar.xz urpmi-fd881538f7adf51e9f088c6a4890074dff71de62.zip |
don't document "-f" which does nothing, directly document "-f -f"
Diffstat (limited to 'urpmi.addmedia')
-rwxr-xr-x | urpmi.addmedia | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/urpmi.addmedia b/urpmi.addmedia index 5813560c..07bfeb03 100755 --- a/urpmi.addmedia +++ b/urpmi.addmedia @@ -69,7 +69,7 @@ and [options] are from ") . N(" --nopubkey - don't import pubkey of added media ") . N(" --raw - add the media in config, but don't update it. ") . N(" -c - clean headers cache directory. -") . N(" -f - force generation of hdlist files. +") . N(" -f -f - force generation of hdlist files. ") . N(" -q - quiet mode. ") . N(" -v - verbose mode. "); |