From af7362d89e5ce7fd67ca30db7e8fa59bb6f4af87 Mon Sep 17 00:00:00 2001
From: Jakub Kadlčík <frostyx@email.cz>
Date: Aug 08 2018 21:12:09 +0000
Subject: [python] use readthedocs theme if it is installed


---

diff --git a/python/docs/conf.py b/python/docs/conf.py
index 069a46d..43c8a48 100644
--- a/python/docs/conf.py
+++ b/python/docs/conf.py
@@ -97,6 +97,18 @@ pygments_style = 'sphinx'
 #html_theme = 'alabaster'
 
 
+# Use readthedocs theme if it is installed
+# Ideally, we want to develop the documentation in the same theme
+# that will be used in the production
+try:
+    import sphinx_rtd_theme
+    html_theme = "sphinx_rtd_theme"
+    html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
+except ImportError:
+    print("Please install the readthedocs theme with:")
+    print("dnf install python*-sphinx_rtd_theme")
+
+
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the
 # documentation.