# HG changeset patch
# User Sjoerd Mullender <sjoerd@acm.org>
# Date 1481808234 -3600
# Node ID 3abb3634f46700f7db715bd0e53ce1048580ef08
# Parent  db46b4ab2b9f48c72e30cc05c027ba94e66050c8
No Makefile.ag anymore.

diff --git a/version.sh b/version.sh
--- a/version.sh
+++ b/version.sh
@@ -97,22 +97,6 @@ sed \
 	-e "s|Release date: 20[0-9][0-9]-[01][0-9]-[0-3][0-9]|Release date: `date +%F`|" \
 	${file} | ${diff} ${file} - | ${patch}
 
-for file in \
-	Makefile.ag \
-	; do
-	if [[ -f ${file} ]] ; then
-		for f in $FILES ; do
-			fr=${f//XXX/${NEW_MAJOR}.${NEW_MINOR}}
-			fo=${f//XXX/${ESC_MAJOR}.${ESC_MINOR}}
-			fo=${fo//./\\.}
-			sed -e "s|${fo}|${fr}|g" \
-				${file} | ${diff} ${file} - | ${patch}
-		done
-	else
-		echo "Please do not forget to patch file '${file##*../}', too."
-	fi
-done
-
 file="build.properties"
 sed \
 	-e "s|${TYPE}_MAJOR=${ESC_MAJOR}|${TYPE}_MAJOR=${NEW_MAJOR}|g" \