Open 0.13 series for development.

IPython/core/release.py

@@ -20,10 +20,11 b" name = 'ipython'"
 # release.  'dev' as a _version_extra string means this is a development
 # version
 _version_major = 0
-_version_minor = 12
+_version_minor = 13
 _version_micro = ''  # use '' for first of series, number for 1 and above
+_version_extra = 'dev'
 #_version_extra = 'rc1'
-_version_extra = ''  # Uncomment this for full releases
+#_version_extra = ''  # Uncomment this for full releases
 
 # Construct full version string from these.
 _ver = [_version_major, _version_minor]

docs/gh-pages.py

@@ -104,14 +104,16 b" if __name__ == '__main__':"
     # sh('make html')
     if tag != 'dev':
         # only build pdf for non-dev targets
-        sh2('make pdf')
+        #sh2('make pdf')
+        pass
 
     # This is pretty unforgiving: we unconditionally nuke the destination
     # directory, and then copy the html tree in there
     shutil.rmtree(dest, ignore_errors=True)
     shutil.copytree(html_dir, dest)
     if tag != 'dev':
-        shutil.copy(pjoin(pdf_dir, 'ipython.pdf'), pjoin(dest, 'ipython.pdf'))
+        #shutil.copy(pjoin(pdf_dir, 'ipython.pdf'), pjoin(dest, 'ipython.pdf'))
+        pass
 
     try:
         cd(pages_dir)

docs/source/whatsnew/index.txt

@@ -20,6 +20,7 b' development work they do here in a user friendly format.'
 .. toctree::
    :maxdepth: 1
 
+   development
    version0.12
    github-stats-0.12
    version0.11