diff options
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/conf.py | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/etc/conf.py b/etc/conf.py index e1303e8a..05dbc4d3 100644 --- a/etc/conf.py +++ b/etc/conf.py @@ -2,16 +2,9 @@ import datetime import sys import os -try: - __import__('imp').find_module('sphinx.ext.numfig') - extensions = ['sphinx.ext.numfig'] -except ImportError: - # 'pip install sphinx_numfig' - extensions = ['sphinx_numfig'] +needs_sphinx = '1.3' -# numfig: -number_figures = True -figure_caption_prefix = "Fig." +numfig = True source_suffix = '.rst' master_doc = 'index' |