don't document "-f" which does nothing, directly document "-f -f"

2 files changed, 8 insertions, 3 deletions

diff --git a/pod/urpmi.addmedia.8.pod b/pod/urpmi.addmedia.8.pod
index fbde6d01..5e80aa1a 100644
--- a/pod/urpmi.addmedia.8.pod
+++ b/pod/urpmi.addmedia.8.pod
@@ -147,6 +147,11 @@ will attempt to add all media it finds. By default, it won't add media
 containing source rpms, or media corresponding to supplementary CD-ROMs
 on distributions.
 
+=item B<--urpmi-root> I<directory>
+
+Use the file system tree rooted for urpmi database and rpm install. Contrary
+to B<--root>, the urpmi configuration comes from the rooted tree.
+
 =item B<--from> I<url>
 
 Use specified URL for list of mirrors. The default is taken from the file
@@ -175,9 +180,9 @@ Don't import pubkey of added media.
 
 Clean headers cache directory in F</var/cache/urpmi/headers>.
 
-=item B<-f>
+=item B<-f -f>
 
-Force rebuild of base files, or of hdlist files when specified twice.
+Force rebuild of hdlist files.
 
 =back
 
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.
 ");