1 files changed, 2 insertions, 0 deletions
diff --git a/urpmi.addmedia b/urpmi.addmedia
index 2e296988..e257c40d 100755
--- a/urpmi.addmedia
+++ b/urpmi.addmedia
@@ -36,6 +36,7 @@ where <url> is one of
 
 and [options] are from
 ") . _("  -c             - clean headers cache directory.
+") . _("  -h             - try to find and use synthesis or hdlist file.
 ") . _("  -f             - force generation of hdlist files.
 ") . _("  --wget         - use wget to retrieve distant files.
 ") . _("  --curl         - use curl to retrieve distant files.
@@ -46,6 +47,7 @@ and [options] are from
     $options{sync} = undef;
     while ($_ = shift @_) {
 	/^--?c/ and $options{noclean} = 0, next;
+	/^--?h/ and $options{probe_with_hdlist} = 1, next;
 	/^--?f/ and ++$options{force}, next;
 	/^--wget/ and $options{sync} = \&urpm::sync_wget, next;
 	/^--curl/ and $options{sync} = \&urpm::sync_curl, next;