diff options
| author | jfbu <jfbu@free.fr> | 2018-07-13 14:37:39 +0200 |
|---|---|---|
| committer | jfbu <jfbu@free.fr> | 2018-07-14 19:15:33 +0200 |
| commit | 7b44adb0485a5dc7d1f8bfca10f73b90f0fb2eac (patch) | |
| tree | cd7dde1ada17c3b9d09e1b95c4fc07adf333c850 /doc/conf.py | |
| parent | 60b160431a4083a58a4d09051d5fba2275e2b712 (diff) | |
| download | sphinx-git-7b44adb0485a5dc7d1f8bfca10f73b90f0fb2eac.tar.gz | |
Use xindy for Sphinx's own PDF documentation
Makeindex gathered under heading "Symbols" all command line options,
this seems less satisfactory than index produced by xindy.
Diffstat (limited to 'doc/conf.py')
| -rw-r--r-- | doc/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/conf.py b/doc/conf.py index 732c4d4a0..724d355d0 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -72,6 +72,7 @@ latex_elements = { ''', } latex_show_urls = 'footnote' +latex_use_xindy = True autodoc_member_order = 'groupwise' todo_include_todos = True |