make.pl isn't autotools specific

diff --git a/configure.ac b/configure.ac
index 712970976b956640a2eb7627f7d46779e7989cc0..315881a2a1173df7779311990454df702b92ad7c 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -6204,7 +6204,7 @@ rm -f compile
 echo '#! /bin/sh' >compile
 
 echo "PATH=$PATH LANG=C make \$@ 2>&1| \\" >> compile
-echo '`sed -ne "s/^top_srcdir *= *//p" < Makefile`/extras/buildsystem/autotools/make.pl' >> compile
+echo '`sed -ne "s/^top_srcdir *= *//p" < Makefile`/extras/buildsystem/make.pl' >> compile
 chmod a+x compile
 
 printf "

diff --git a/extras/buildsystem/autotools/make.pl b/extras/buildsystem/make.pl
similarity index 100%
rename from extras/buildsystem/autotools/make.pl
rename to extras/buildsystem/make.pl