Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 06:38:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Remove unused Sphinx extensions

Browse source
This commit is contained in:
Jon Siwek 2018-12-19 15:33:23 -06:00
parent 7e9d48f532
commit 2a3a66fce2
3 changed files with 1 additions and 348 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/conf.py
View file

@ -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']