1 files changed, 0 insertions, 17 deletions
diff --git a/update-patchv b/update-patchv
deleted file mode 100755
index 4b17aa606..000000000
--- a/update-patchv
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/bin/sh
-
-set -e
-
-if [ $# -ne 1 ]; then
-  echo "Usage: $0 <patchnumber>"
-  exit 1
-fi
-
-vers="`perl -pe 's/^(\d+\.\d+\.\d+).*/\1/' VERSION`"
-full="${vers}-p$1"
-echo $full > VERSION
-perl -pi -e "s/(?<=#define MPFR_VERSION_STRING ).*/\"$full\"/" mpfr.h
-perl -pi -e "s/(?<=return \").*\"/$full\"/" version.c
-perl -pi -e "s/(?<=#if ).*/0/" tests/tversion.c
-
-echo "MPFR version successfully updated."