From 05ecee877c8dd5f568dc631744f34b4601bd68cd Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Fri, 10 Aug 2018 00:48:28 +0200
Subject: [PATCH 1/1] sphinx: activate the todos

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

diff --git a/docs/source/conf.py b/docs/source/conf.py
index 562a77c87f..452d833e7b 100644
--- 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"
 
-- 
2.20.1