diff options
Diffstat (limited to 'pod/urpmi.addmedia.8.pod')
| -rw-r--r-- | pod/urpmi.addmedia.8.pod | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/pod/urpmi.addmedia.8.pod b/pod/urpmi.addmedia.8.pod index 5e80aa1a..63d95ff6 100644 --- a/pod/urpmi.addmedia.8.pod +++ b/pod/urpmi.addmedia.8.pod @@ -126,6 +126,10 @@ Use synthesis file. Use hdlist file. +=item B<--probe-rpms> + +Use rpm files (instead of synthesis/hdlist). + =item B<--distrib> Retrieve a set of media from a distribution. Typically, the URL provided @@ -180,10 +184,6 @@ Don't import pubkey of added media. Clean headers cache directory in F</var/cache/urpmi/headers>. -=item B<-f -f> - -Force rebuild of hdlist files. - =back =head1 Variables @@ -216,4 +216,4 @@ urpmi(8), urpmi.update(8), urpmi.removemedia(8), urpmf(8), urpmq(8), urpmi.files =head1 Author Pascal Rigaux <pixel@mandriva.com> (original author and current maintainer), -FranE<ccedil>ois Pons, Rafael Garcia-Suarez <rgarciasuarez@mandriva.com> +FranE<ccedil>ois Pons, Rafael Garcia-Suarez |