diff options
| author |   Ryota Mibu <r-mibu@cq.jp.nec.com> | 2015-08-31 15:48:47 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@172.30.200.206> | 2015-08-31 15:48:47 +0000 |
| commit | 10ea87c6c9e8121f33976d01d2e96b9f74211796 (patch) | |
| tree | ca40d39e6feff82b9d74b1ef2daea94ff14dc438 /etc | |
| parent | 777b10f6b1d2bddf934a6aeec4a4dee9c8b9aea3 (diff) | |
| parent | 9716bd889875bf3995af3a9d9696ab72801fdf1d (diff) | |
Merge "Solves the duplicate figure numbering in PDF issue"
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' |