diff options
Diffstat (limited to 'docs/users_guide/conf.py')
| -rw-r--r-- | docs/users_guide/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/conf.py b/docs/users_guide/conf.py index dd369b19d1..e7c203b5b7 100644 --- a/docs/users_guide/conf.py +++ b/docs/users_guide/conf.py @@ -62,7 +62,7 @@ htmlhelp_basename = 'GHCUsersGuide' # -- Options for LaTeX output --------------------------------------------- latex_elements = { - 'inputenv': '', + 'inputenc': '', 'utf8extra': '', 'preamble': ''' \usepackage{fontspec} |