From 9c97e81846154236ffbc7e9ebe428735309964ce Mon Sep 17 00:00:00 2001
From: Colin Watson <cjwatson@chiark.greenend.org.uk>
Date: Sun, 11 Jul 2004 22:34:04 +0000
Subject: [PATCH] my-debmirror-riva: Get main/debian-installer too.

---
 my-debmirror-riva | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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 "$@"
-- 
2.30.2