fix pdf building by teaching latex the right encoding package

diff --git a/Doc/conf.py b/Doc/conf.py
index 1bb8e508232ad616e25564e233004f76be36ac48..a84f9c3e172e1b3ae8ab0ea881fb0062b8bdff4b 100644 (file)
--- a/Doc/conf.py
+++ b/Doc/conf.py
@@ -148,6 +148,9 @@ latex_preamble = r'''
 # Documents to append as an appendix to all manuals.
 latex_appendices = ['glossary', 'about', 'license', 'copyright']
 
+# Get LaTeX to handle Unicode correctly
+latex_elements = {'inputenc': r'\usepackage[utf8x]{inputenc}'}
+
 # Options for the coverage checker
 # --------------------------------