Benjamin Peterson af80ce3f82 highlight is now highlighted (closes #23909)

2015-04-10 18:40:21 -04:00

..

extensions

Move Sphinx templates and extensions to their own subdirs.

2014-10-29 08:41:02 +01:00

static

highlight is now highlighted (closes #23909)

2015-04-10 18:40:21 -04:00

templates

Use https:// URLs in the HTML templates.

2014-10-29 08:36:15 +01:00

rstlint.py

rstlint: make the "html leaked markup" regex a bit less sensitive

2014-10-30 22:49:06 +01:00

susp-ignored.csv

Move Doc/tools/sphinxext content to Doc/tools, there is no need for the nested subdirectory anymore.

2014-09-30 22:51:30 +02:00