Index: developer/releasing.txt
===================================================================
--- developer/releasing.txt	(revision 373)
+++ developer/releasing.txt	(revision 374)
@@ -11,4 +11,4 @@
 6. svn tag using URLs (use svn copy --pin-externals)
 7. uptade doc/news.html
 (8. update locally built binaries: windows)
-
+9. modify version number in ./configure to -dev