X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=blobdiff_plain;f=my-debmirror-riva;h=5332a467ffb3b82735ceee6e8063d509baa05c3c;hb=72cdba598296cdccfe9522d9ad574b697affbb0a;hp=e0ea329c2fa9d3d5f5ddd4002a00b65fb720e264;hpb=88c7e302a60194f68bc1b6d20c1547b62e1436d3;p=bin.git

diff --git a/my-debmirror-riva b/my-debmirror-riva
old mode 100644
new mode 100755
index e0ea329..5332a46
--- 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 "$@"