From e045cebd328d951776481b00cfe64c877110d0b7 Mon Sep 17 00:00:00 2001
From: Frans Pop <fjp@debian.org>
Date: Mon, 12 Jan 2009 15:10:55 +0000
Subject: [PATCH] Rename Packages-gen.sh to Packages-gen

---
 easy-build.sh                           | 4 ++--
 tools/{Packages-gen.sh => Packages-gen} | 0
 2 files changed, 2 insertions(+), 2 deletions(-)
 rename tools/{Packages-gen.sh => Packages-gen} (100%)

diff --git a/easy-build.sh b/easy-build.sh
index b5436a97..df5f49a2 100755
--- a/easy-build.sh
+++ b/easy-build.sh
@@ -155,8 +155,8 @@ fi
 if [ "$LOCAL" ] && [ "$UPDATE_LOCAL" ]; then
 	echo "Updating Packages files for local repository..."
 	for arch in $ARCHES; do
-		./tools/Packages-gen.sh $CODENAME $arch
-		./tools/Packages-gen.sh -i $DI_CODENAME $arch
+		./tools/Packages-gen $CODENAME $arch
+		./tools/Packages-gen -i $DI_CODENAME $arch
 	done
 	echo
 fi
diff --git a/tools/Packages-gen.sh b/tools/Packages-gen
similarity index 100%
rename from tools/Packages-gen.sh
rename to tools/Packages-gen