From 3880463a92142896704deca4d341af93be762b84 Mon Sep 17 00:00:00 2001
From: Pascal Rigaux <pixel@mandriva.com>
Date: Wed, 19 Dec 2007 12:16:49 +0000
Subject: - all tools:   o drop hdlist support (will be replaced with xml
 media_info)

---
 pod/urpmi.8.pod | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'pod/urpmi.8.pod')

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
-- 
cgit v1.2.1