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'
-copyright = u'2018, The SimGrid Team'
+copyright = u'2002-2018, The SimGrid Team'
author = u'The SimGrid Team'
# The short X.Y version
# ones.
extensions = [
'sphinx.ext.todo',
-# 'sphinx.ext.coverage',
-# 'sphinx.ext.mathjax',
-# 'sphinx.ext.ifconfig',
'breathe',
- 'exhale',
+# 'exhale',
'hidden_code_block',
+ 'javasphinx',
]
todo_include_todos = True
# 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,