bump version to 4.0.1-dev

diff --git a/NEWS b/NEWS
index 338342d159a01b194f5a638da2cc0fb071033fa9..aee596486feb34c24306bc81565fef4376bc421d 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,8 @@
 PHP 4.0                                                                    NEWS
 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 
+?? ??? 2000, Version 4.0.1-dev
+
 22 May 2000, Version 4.0.0 Release
 - Allow the writing of flash files to stdout.
 - Fixed a crash bug in .phps syntax-highlighted files (Andi)

diff --git a/configure.in b/configure.in
index a346b151f320646bbb8c7bd7793175d10756867a..63d694a8a79acfb14fb13d5a3467d98f2b14e1db 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -51,7 +51,7 @@ dnl ## All of these are normally in the extension directories.
 dnl ## Diversion 5 is the last one.  Here we generate files and clean up.
 
 dnl ## This is where the version number is changed from now on!
-AM_INIT_AUTOMAKE(php, 4.0.0)
+AM_INIT_AUTOMAKE(php, 4.0.1-dev)
 
 PHP_VERSION=$VERSION
 echo "/* automatically generated by configure */" > php_version.h.new

diff --git a/main/php_version.h b/main/php_version.h
index 374333e3e8a89f8affef4b9604bf8c6bb5c936c6..846c5b3764c1abc15ac946e6cf0812de63cdf462 100644 (file)
--- a/main/php_version.h
+++ b/main/php_version.h
@@ -1,3 +1,3 @@
 /* automatically generated by configure */
 /* edit configure.in to change version number */
-#define PHP_VERSION "4.0.0"
+#define PHP_VERSION "4.0.1-dev"