DOC: move gh-pages script; update release recipe

Move the github pages script to the top-level tools directory.

Update release recipe for new gh-pages procedure.

Author: matthew-brett

Makefile

@@ -137,7 +137,7 @@ website-stamp: $(WWW_DIR) html-stamp pdf-stamp
 	touch $@
 
 upload-html: html-stamp
-	./doc/tools/upload-gh-pages.sh $(WWW_DIR) $(GITHUB_REPO)
+	./tools/upload-gh-pages.sh $(WWW_DIR) $(GITHUB_REPO)
 
 #
 # Sources

doc/source/devel/make_release.rst

@@ -194,11 +194,9 @@ Release checklist
   If you are already on a Windows machine, you could have done the manual
   command to upload instead: ``python setup.py bdist_wininst upload``.
 
-* Now the version number is OK, push the docs to sourceforge with::
+* Now the version number is OK, push the docs to github pages with::
 
-    make upload-htmldoc-mysfusername
-
-  where ``mysfusername`` is obviously your own sourceforge username.
+    make upload-html
 
 * Set up maintenance / development branches