fix pdf building by teaching latex the right encoding package
diff --git a/Doc/conf.py b/Doc/conf.py
index 1bb8e50..a84f9c3 100644
--- a/Doc/conf.py
+++ b/Doc/conf.py
@@ -148,6 +148,9 @@
 # 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
 # --------------------------------