diff options
Diffstat (limited to 'pod/urpmi.8.pod')
| -rw-r--r-- | pod/urpmi.8.pod | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/pod/urpmi.8.pod b/pod/urpmi.8.pod index 9743700d..5acc4190 100644 --- a/pod/urpmi.8.pod +++ b/pod/urpmi.8.pod @@ -243,14 +243,6 @@ Configure urpmi on the fly from a distrib tree, useful to install a chroot with the B<--root> option. See the description of the B<--distrib> option in the C<urpmi.addmedia> manpage. -=item B<--probe-synthesis> - -Use synthesis file (to use with --use-distrib). - -=item B<--probe-hdlist> - -Use hdlist file (to use with --use-distrib). - =item B<--wget> Use wget for downloading distant files via http or ftp. By default curl is |