1 files changed, 0 insertions, 25 deletions
diff --git a/wintools/version.pl b/wintools/version.pl
deleted file mode 100644
index 1895346..0000000
--- a/wintools/version.pl
+++ /dev/null
@@ -1,25 +0,0 @@
-# Extract the version information from the configure script and write
-# it in the version of the VERSION file to stdout.
-# Should be called from the root of the distribution.
-
-open(FILE,"<configure") || die "Could not open configure file!";
-
-while (<FILE>) {
-  if (/doxygen_version_major=(\d+)/) {
-    $major=$1
-  } elsif (/doxygen_version_minor=(\d+)/) {
-    $minor=$1
-  } elsif (/doxygen_version_revision=(\d+)/) {
-    $revision=$1
-  } elsif (/doxygen_version_mmn=(\w+)/ && ($1 ne "NO")) {
-    $mmn=$1
-  }
-}
-
-if ($mmn) {
-  print "$major.$minor.$revision-$mmn\n";
-} else {
-  print "$major.$minor.$revision\n";
-}
-
-close(FILE);