From: Colin Watson <cjwatson@chiark.greenend.org.uk>
Date: Sun, 11 Jul 2004 22:34:04 +0000 (+0000)
Subject: my-debmirror-riva: Get main/debian-installer too.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=commitdiff_plain;h=9c97e81846154236ffbc7e9ebe428735309964ce;p=bin.git

my-debmirror-riva: Get main/debian-installer too.
---

diff --git a/my-debmirror-riva b/my-debmirror-riva
index e0ea329..5332a46 100755
--- a/my-debmirror-riva
+++ b/my-debmirror-riva
@@ -1,5 +1,6 @@
 #! /bin/sh -e
 debmirror /mirror/debian -h riva \
-	  --nosource --section=main --getcontents --ignore=non-US/ "$@"
+	  --nosource --section=main,main/debian-installer \
+	  --getcontents --ignore=non-US/ "$@"
 debmirror /mirror/debian/non-US -h riva -r /debian/non-US \
 	  --nosource --section=main -d unstable/non-US --getcontents "$@"