From 44f3a0d1e12d99ba8bfa18d8dc5b3ff74bd45b13 Mon Sep 17 00:00:00 2001 From: Gal Pressman Date: Sun, 8 Jan 2017 11:35:00 +0200 Subject: [PATCH] docs: Add badges Signed-off-by: Gal Pressman --- docs/_templates/badges.html | 4 ++++ docs/conf.py | 10 +++++++++- 2 files changed, 13 insertions(+), 1 deletion(-) create mode 100644 docs/_templates/badges.html diff --git a/docs/_templates/badges.html b/docs/_templates/badges.html new file mode 100644 index 0000000..a28e3c5 --- /dev/null +++ b/docs/_templates/badges.html @@ -0,0 +1,4 @@ + +

Github repository

+

Github repository

+

Github repository

diff --git a/docs/conf.py b/docs/conf.py index 949cd17..8b26017 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -133,7 +133,14 @@ # further. For a list of options available for each theme, see the # documentation. # -# html_theme_options = {} +html_theme_options = { + 'github_user': 'GalPressman', + 'github_repo': 'matrigram', + 'github_banner': True, + 'github_button': True, + 'travis_button': True, + 'show_powered_by': False, +} # Add any paths that contain custom themes here, relative to this directory. # html_theme_path = [] @@ -187,6 +194,7 @@ 'about.html', 'navigation.html', 'searchbox.html', + 'badges.html', ] }