diff options
author | 2018-12-11 10:08:50 -0800 | |
---|---|---|
committer | 2018-12-11 10:08:50 -0800 | |
commit | 579bf0b8189cfa34a03b01cd85e2b47c3c122291 (patch) | |
tree | 8a106408f9a80e2457c4e029d0f6494767e917e1 /Docs/source/conf.py | |
parent | 910ac4007fe9c356b45d9acf557619e61632a117 (diff) | |
parent | f8e209f4ca23e1f709a0ee3696ee1c2351e468fb (diff) | |
download | WarpX-579bf0b8189cfa34a03b01cd85e2b47c3c122291.tar.gz WarpX-579bf0b8189cfa34a03b01cd85e2b47c3c122291.tar.zst WarpX-579bf0b8189cfa34a03b01cd85e2b47c3c122291.zip |
Merge branch 'dev' into master
Diffstat (limited to 'Docs/source/conf.py')
-rw-r--r-- | Docs/source/conf.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Docs/source/conf.py b/Docs/source/conf.py index 1d4b97c49..ce6f436d3 100644 --- a/Docs/source/conf.py +++ b/Docs/source/conf.py @@ -88,6 +88,8 @@ todo_include_todos = False # html_theme = 'sphinx_rtd_theme' +numfig = True + # Theme options are theme-specific and customize the look and feel of a theme # further. For a list of options available for each theme, see the # documentation. |