From 2a3a66fce27c6b636c7289cf433fb9320ecbc92b Mon Sep 17 00:00:00 2001 From: Jon Siwek Date: Wed, 19 Dec 2018 15:33:23 -0600 Subject: [PATCH] Remove unused Sphinx extensions --- doc/conf.py | 2 +- doc/ext/adapt-toc.py | 29 ---- doc/ext/broxygen.py | 318 ------------------------------------------- 3 files changed, 1 insertion(+), 348 deletions(-) delete mode 100644 doc/ext/adapt-toc.py delete mode 100644 doc/ext/broxygen.py diff --git a/doc/conf.py b/doc/conf.py index 9ae09f4c34..873197e436 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -26,7 +26,7 @@ sys.path.insert(0, os.path.abspath('ext')) # Add any Sphinx extension module names here, as strings. They can be extensions # coming with Sphinx (named 'sphinx.ext.*') or your custom ones. -extensions += ['bro', 'rst_directive', 'sphinx.ext.todo', 'adapt-toc'] +extensions += ['bro', 'rst_directive', 'sphinx.ext.todo'] # Add any paths that contain templates here, relative to this directory. templates_path = ['_templates', '_static'] diff --git a/doc/ext/adapt-toc.py b/doc/ext/adapt-toc.py deleted file mode 100644 index 12ee006977..0000000000 --- a/doc/ext/adapt-toc.py +++ /dev/null @@ -1,29 +0,0 @@ - -import sys -import re - -# Removes the first TOC level, which is just the page title. -def process_html_toc(app, pagename, templatename, context, doctree): - - if not "toc" in context: - return - - toc = context["toc"] - - lines = toc.strip().split("\n") - lines = lines[2:-2] - - toc = "\n".join(lines) - toc = "