diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2007-12-19 12:16:49 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2007-12-19 12:16:49 +0000 |
| commit | 3880463a92142896704deca4d341af93be762b84 (patch) | |
| tree | 083ddaa4280c8f7bd74b0619ebe5d40fd4a9d038 /pod/urpmi.8.pod | |
| parent | fa957b2abb16441c131d8242b22579ca63d70c01 (diff) | |
| download | urpmi-3880463a92142896704deca4d341af93be762b84.tar urpmi-3880463a92142896704deca4d341af93be762b84.tar.gz urpmi-3880463a92142896704deca4d341af93be762b84.tar.bz2 urpmi-3880463a92142896704deca4d341af93be762b84.tar.xz urpmi-3880463a92142896704deca4d341af93be762b84.zip | |
- all tools:
o drop hdlist support (will be replaced with xml media_info)
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 |