sphinx: activate the todos

diff --git a/docs/source/conf.py b/docs/source/conf.py
index 562a77c..452d833 100644 (file)
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -39,6 +39,7 @@ release = u'3.21'
 # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
 # ones.
 extensions = [
+    'sphinx.ext.todo',
 #    'sphinx.ext.coverage',
     'sphinx.ext.mathjax',
 #    'sphinx.ext.ifconfig',
@@ -46,6 +47,8 @@ extensions = [
     'exhale',
 ]
 
+todo_include_todos = True
+
 breathe_projects = { 'simgrid': '../../doc/xml' }
 breathe_default_project = "simgrid"