diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-05-21 13:20:15 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-05-21 19:10:59 +0200 |
| commit | cf1efc7f0f97f272645af93491ca890137df3704 (patch) | |
| tree | 02115c691c69346849436bc368399ee7d6b58d96 /docs/users_guide/conf.py | |
| parent | 6d6d6e4f47d023f3f6b1b5b3b4a3bad29f8fd98a (diff) | |
| download | haskell-cf1efc7f0f97f272645af93491ca890137df3704.tar.gz | |
users-guide: Fix index in PDF output
The madness that is latex never ceases to amaze.
Diffstat (limited to 'docs/users_guide/conf.py')
| -rw-r--r-- | docs/users_guide/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/users_guide/conf.py b/docs/users_guide/conf.py index f9c326ef83..b2311c4994 100644 --- a/docs/users_guide/conf.py +++ b/docs/users_guide/conf.py @@ -66,6 +66,7 @@ latex_elements = { 'utf8extra': '', 'preamble': ''' \usepackage{fontspec} +\usepackage{makeidx} \setsansfont{DejaVu Sans} \setromanfont{DejaVu Serif} \setmonofont{DejaVu Sans Mono} |