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

diff --git a/my-debmirror-riva b/my-debmirror-riva
index e0ea329c2fa9d3d5f5ddd4002a00b65fb720e264..5332a467ffb3b82735ceee6e8063d509baa05c3c 100755 (executable)
--- 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 "$@"