From bed4d6fa06a3d72ec532a217051c9f867af8cc77 Mon Sep 17 00:00:00 2001
From: Danilo Bargen <gezuru@gmail.com>
Date: Sun, 30 Dec 2012 01:44:28 +0100
Subject: [PATCH] Added github star button

---
 docs/source/_templates/ghbuttons.html | 4 ++++
 docs/source/conf.py                   | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)
 create mode 100644 docs/source/_templates/ghbuttons.html

diff --git a/docs/source/_templates/ghbuttons.html b/docs/source/_templates/ghbuttons.html
new file mode 100644
index 00000000..badb06af
--- /dev/null
+++ b/docs/source/_templates/ghbuttons.html
@@ -0,0 +1,4 @@
+<h3>Github</h3>
+<iframe src="http://ghbtns.com/github-btn.html?user=davidhalter&repo=jedi&type=watch&count=true&size=large"
+        frameborder="0" scrolling="0" width="170" height="30" allowtransparency="true"></iframe>
+<br><br>
diff --git a/docs/source/conf.py b/docs/source/conf.py
index 2cabc4a4..deb779dd 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -141,7 +141,7 @@ html_static_path = ['_static']
 # Custom sidebar templates, maps document names to template names.
 html_sidebars = {
     '**': ['sidebarlogo.html', 'localtoc.html', 'relations.html',
-           'sourcelink.html', 'searchbox.html']
+           'ghbuttons.html', 'sourcelink.html', 'searchbox.html']
 }
 
 # Additional templates that should be rendered to pages, maps page names to