X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9bfc714f74d8044a224b5c94ad3f69e540361841..324b1478707435efbb703b65e95bc1005b6fb520:/docs/source/conf.py

diff --git a/docs/source/conf.py b/docs/source/conf.py
index 9f3d260b78..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'
@@ -41,9 +49,6 @@ release = u'3.21'
 # ones.
 extensions = [
     'sphinx.ext.todo',
-#    'sphinx.ext.coverage',
-#    'sphinx.ext.mathjax',
-#    'sphinx.ext.ifconfig',
     'breathe',
     'exhale',
     'hidden_code_block',
@@ -109,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,