Ezio Melotti 47fd9d8e09 #4965: Implement intelligent scrolling of the sidebar in the docs.

2013-10-14 02:58:59 +03:00

..

sphinxext

#4965: Implement intelligent scrolling of the sidebar in the docs.

2013-10-14 02:58:59 +03:00

roman.py

Cosmetic fixes to make this work with Py3k (as well as with 2.5 still).

2007-08-25 14:55:35 +00:00

rstlint.py

Make tool compatible with 2.x and 3.x.

2010-03-12 10:04:37 +00:00

sphinx-build.py

Closes #19248: actually check for Python 3.x in tools/sphinx-build.py.

2013-10-13 22:19:49 +02:00