Added more file to commit for when doing a release.

doc/internal/how_to_release.txt

@@ -51,7 +51,7 @@ You will need to commit the previous changes, tag the resulting version, and
 push that into the original repository. The syntax is something like the
 following::
 
-    hg commit -m"modifications for 0.X release" setup.py doc/conf.py NEWS.txt
+    hg commit -m"modifications for 0.X release" setup.py doc/conf.py NEWS.txt HISTORY.txt theano/configdefaults.py doc/library/config.txt
     hg tag 0.X
     hg push