From b4a1c95f7822010dc8c315e5eec81d6c1dc9f8fe Mon Sep 17 00:00:00 2001
From: Peter Vlugter <peter@maka>
Date: Wed, 12 Oct 2011 10:55:35 +0200
Subject: [PATCH] Fix for right arrows in pdf docs

---
 akka-docs/conf.py | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/akka-docs/conf.py b/akka-docs/conf.py
index 020feafde7..8a9e8c3240 100644
--- a/akka-docs/conf.py
+++ b/akka-docs/conf.py
@@ -48,17 +48,22 @@ htmlhelp_basename = 'Akkadoc'
 
 # -- Options for LaTeX output --------------------------------------------------
 
+def setup(app):
+     from sphinx.util.texescape import tex_replacements
+     tex_replacements.append((u'⇒', ur'\(\Rightarrow\)'))
+
 latex_paper_size = 'a4'
 latex_font_size = '10pt'
 
 latex_documents = [
   ('index', 'Akka.tex', u' Akka Documentation',
-   u'Scalable Solutions AB', 'manual'),
+   u'Typesafe Inc', 'manual'),
 ]
 
 latex_elements = {
     'classoptions': ',oneside,openany',
     'babel': '\\usepackage[english]{babel}',
+    'fontpkg': '\\PassOptionsToPackage{warn}{textcomp} \\usepackage{times}',
     'preamble': '\\definecolor{VerbatimColor}{rgb}{0.935,0.935,0.935}'
     }