(no commit message)

diff --git a/mirroring/f11/yum.repos.d/building.repo.in b/mirroring/f11/yum.repos.d/building.repo.in
deleted file mode 100644 (file)
index 413e0f4..0000000
--- a/mirroring/f11/yum.repos.d/building.repo.in
+++ /dev/null
@@ -1,17 +0,0 @@
-[fedora]
-name=Fedora 11 - $basearch
-baseurl=@MIRRORURL@/fedora/releases/11/Everything/$basearch/os/
-enabled=1
-metadata_expire=7d
-gpgcheck=0
-# where can we get this key ?
-#gpgkey=http://redhat.download.fedoraproject.org/pub/fedora/linux/releases/8/Everything/$basearch/os/RPM-GPG-KEY-fedora
-
-[updates]
-name=Fedora 11 - $basearch - Updates
-baseurl=@MIRRORURL@/fedora/updates/11/$basearch/
-enabled=1
-metadata_expire=7d
-gpgcheck=1
-gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-fedora
-

diff --git a/mirroring/mirror.sh b/mirroring/mirror.sh
index 858da6c..7d0c26c 100755 (executable)
--- a/mirroring/mirror.sh
+++ b/mirroring/mirror.sh
@@ -6,7 +6,7 @@ DIRNAME=$(dirname $0)
 
 default_url="http://localhost/mirror/"
 default_distro="f8"
-all_distros="f8 f10 f11 centos5"
+all_distros="f8 f10 f12 centos5"
 
 function check_distro () {
     local distro=$1; shift