From 02eb44d42f265ff330044971d5d7f11fd16322b2 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Wed, 18 Nov 2015 13:53:53 +0100 Subject: users-guide: Fix typo in conf.py inputenv /= inputenc --- docs/users_guide/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/users_guide/conf.py') 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} -- cgit v1.2.1