[with patch, positive review] upgrading sphinx problem: any upgrade to sage-4.0 ends this way

[was]

sphinx-build -b html -d /usr/local/sage/devel/sage/doc/output/doctrees/en/tutorial   .  /usr/local/sage/devel/sage/doc/output/html/en/tutorial
Sphinx v0.5.1, building html
loading pickled environment... done
building [html]: targets for 0 source files that are out of date
updating environment: 0 added, 0 changed, 0 removed
no targets are out of date.
Build finished.  The built documents can be found in /usr/local/sage/devel/sage/doc/output/html/en/tutorial
Traceback (most recent call last):
  File "/usr/local/sage/devel/sage/doc/common/builder.py", line 667, in <module>
    getattr(get_builder(name), type)()
  File "/usr/local/sage/devel/sage/doc/common/builder.py", line 258, in _wrapper
    getattr(get_builder(document), name)(*args, **kwds)
  File "/usr/local/sage/devel/sage/doc/common/builder.py", line 348, in _wrapper
    for module_name in self.get_modified_modules():
  File "/usr/local/sage/devel/sage/doc/common/builder.py", line 415, in get_modified_modules
    added, changed, removed = env.get_outdated_files(False)
  File "/usr/local/sage/local/lib/python2.5/site-packages/Sphinx-0.5.1-py2.5.egg/sphinx/environment.py", line 400, in get_outdated_files
    newmtime = path.getmtime(self.doc2path(docname))
  File "/usr/local/sage/local/lib/python2.5/posixpath.py", line 143, in getmtime
    return os.stat(filename).st_mtime
OSError: [Errno 2] No such file or directory: '/usr/local/sage/devel/sage-main/doc/en/reference/rings_padic.rst'

[was]

A temporary workaround is to just do

touch /usr/local/sage/devel/sage-main/doc/en/reference/rings_padic.rst

(or whatever the path is to rings_padic.rst) and then things continue fine.

[mhansen]

I think we just need to remove the existing output directory before building the documentation.

[mhansen]

Also, we should remove all of the autogenerated files in devel/sage/doc/en/reference/sage .

[mhansen]

These changes should do it:

--- install_old	2009-05-31 12:40:34.000000000 -0700
+++ install	2009-05-31 12:40:37.000000000 -0700
@@ -356,6 +356,11 @@
 # NOW do the actual build
 
 time make -f standard/deps $1
+
+
+#Build the documentation
+rm -rf "$SAGE_ROOT"/devel/sage-main/doc/output/doctrees
+rm -rf "$SAGE_ROOT"/devel/sage-main/doc/en/reference/sage/*
 "$SAGE_ROOT"/sage -docbuild --jsmath all html
 
 if [ "$1" = "all" -a $? = 0 ]; then

[mhansen]

Merged in 4.0.1.alpha0.