MFH: Moved phpextdist to dev/

diff --git a/scripts/Makefile.frag b/scripts/Makefile.frag
index 221d1d01fa785a57f4e73fc04abddeaf1ed205ab..d5fcf17ed36ed7434f22a35b5f841f3672f7ee4c 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