From fd881538f7adf51e9f088c6a4890074dff71de62 Mon Sep 17 00:00:00 2001 From: Pascal Rigaux Date: Wed, 13 Dec 2006 12:33:17 +0000 Subject: don't document "-f" which does nothing, directly document "-f -f" --- pod/urpmi.addmedia.8.pod | 9 +++++++-- urpmi.addmedia | 2 +- 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 + +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 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. -=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. "); -- cgit v1.2.1