update Sphinx reference from 0.6.7 to 1.0.7

diff --git a/Doc/Makefile b/Doc/Makefile
index 204998678da80da7c27410d0f6cb79015aa4f63e..6e694c6f6cb6ba8fb65c55a29f665e1c7e3793d0 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -40,7 +40,7 @@ help:
 checkout:
        @if [ ! -d tools/sphinx ]; then \
          echo "Checking out Sphinx..."; \
-         svn checkout $(SVNROOT)/external/Sphinx-0.6.7/sphinx tools/sphinx; \
+         svn checkout $(SVNROOT)/external/Sphinx-1.0.7/sphinx tools/sphinx; \
        fi
        @if [ ! -d tools/docutils ]; then \
          echo "Checking out Docutils..."; \