From 4d9e4c64f1330fbdfe6a7931879deebf7154f403 Mon Sep 17 00:00:00 2001
From: Florian Apolloner <florian@apolloner.eu>
Date: Sat, 11 Aug 2012 21:46:36 +0200
Subject: [PATCH] =?UTF-8?q?Fixed=20#18698=20--=20Configure=20latex=20to=20?=
 =?UTF-8?q?support=20'=E2=89=A5'=20in=20the=20docs.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Thanks to simonb for the report and the initial patch.
---
 docs/conf.py | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

diff --git a/docs/conf.py b/docs/conf.py
index 39a280e464..9ac93d7cbc 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -190,11 +190,9 @@ modindex_common_prefix = ["django."]
 
 # -- Options for LaTeX output --------------------------------------------------
 
-# The paper size ('letter' or 'a4').
-#latex_paper_size = 'letter'
-
-# The font size ('10pt', '11pt' or '12pt').
-#latex_font_size = '10pt'
+latex_elements = {
+    'preamble': '\\DeclareUnicodeCharacter{2265}{\\ensuremath{\\ge}}'
+}
 
 # Grouping the document tree into LaTeX files. List of tuples
 # (source start file, target name, title, author, document class [howto/manual]).
@@ -218,9 +216,6 @@ latex_documents = [
 # If true, show URL addresses after external links.
 #latex_show_urls = False
 
-# Additional stuff for the LaTeX preamble.
-#latex_preamble = ''
-
 # Documents to append as an appendix to all manuals.
 #latex_appendices = []