Add a monkeypatching hack so that the docs can still be built with Sphinx 0.5.
diff --git a/Doc/tools/sphinxext/pyspecific.py b/Doc/tools/sphinxext/pyspecific.py
index 688de95..be6f78d 100644
--- a/Doc/tools/sphinxext/pyspecific.py
+++ b/Doc/tools/sphinxext/pyspecific.py
@@ -5,7 +5,7 @@
Sphinx extension with Python doc-specific markup.
- :copyright: 2008 by Georg Brandl.
+ :copyright: 2008, 2009 by Georg Brandl.
:license: Python license.
"""
@@ -59,7 +59,11 @@
try:
from sphinx.builders import Builder
except ImportError:
+ # using Sphinx < 0.6, which has a different package layout
from sphinx.builder import Builder
+ # monkey-patch toctree directive to accept (and ignore) the :numbered: flag
+ from sphinx.directives.other import toctree_directive
+ toctree_directive.options['numbered'] = toctree_directive.options['glob']
try:
from sphinx.writers.text import TextWriter