Moved phpextdist to dev/

diff --git a/scripts/Makefile.frag b/scripts/Makefile.frag
index 4072d9a8c2fdcbcd2a5aa701cf00c187dc8fe403..eaafb71a83c77319ba72db3e9ce47ba159fe2e6c 100644 (file)
--- a/scripts/Makefile.frag
+++ b/scripts/Makefile.frag
@@ -21,7 +21,7 @@ BUILD_FILES_EXEC = \
        config.sub
 
 bin_SCRIPTS = phpize php-config
-bin_src_SCRIPTS = phpextdist
+bin_src_SCRIPTS =
 
 install-build:
        @echo "Installing build environment:     $(INSTALL_ROOT)$(phpbuilddir)/"

diff --git a/scripts/phpextdist b/scripts/dev/phpextdist
similarity index 100%
rename from scripts/phpextdist
rename to scripts/dev/phpextdist