X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/67ebba4175baedb772c36affafe342fed64154ee..0b27fb5256b1ef6e36f88288e23f4a7b8a9a84b7:/docs/source/conf.py

diff --git a/docs/source/conf.py b/docs/source/conf.py
index d335a48c0e..56a3dd68e1 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -13,8 +13,18 @@
 # documentation root, use os.path.abspath to make it absolute, like shown here.
 #
 import os, subprocess
-# import sys
-# sys.path.insert(0, os.path.abspath('.'))
+
+# Search for our extensions too
+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 -----------------------------------------------------
 
@@ -39,11 +49,9 @@ release = u'3.21'
 # ones.
 extensions = [
     'sphinx.ext.todo',
-#    'sphinx.ext.coverage',
-#    'sphinx.ext.mathjax',
-#    'sphinx.ext.ifconfig',
     'breathe',
     'exhale',
+    'hidden_code_block',
 ]
 
 todo_include_todos = True
@@ -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,