From 324b1478707435efbb703b65e95bc1005b6fb520 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Tue, 25 Sep 2018 09:28:38 +0200
Subject: [PATCH] docs: build on RTD, configure our theme

---
 docs/source/conf.py | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/docs/source/conf.py b/docs/source/conf.py
index dc1f498326..56a3dd68e1 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -18,6 +18,14 @@ import os, subprocess
 import sys
 sys.path.append(os.path.abspath('_ext'))
 
+# -- Run doxygen on readthedocs.org ------------------------------------------
+import subprocess, os
+
+read_the_docs_build = os.environ.get('READTHEDOCS', None) == 'True'
+
+if read_the_docs_build:
+    subprocess.call('cd source; doxygen', shell=True)
+
 # -- Project information -----------------------------------------------------
 
 project = u'SimGrid'
@@ -106,7 +114,12 @@ html_theme = 'sphinx_rtd_theme'
 # further.  For a list of options available for each theme, see the
 # documentation.
 #
-# html_theme_options = {}
+html_theme_options = {
+    'navigation_depth' : 4,
+    'sticky_navigation': True,
+    'display_version': True,
+    'includehidden': True,
+}
 
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,
-- 
2.20.1