diff options
| author | Roland Meister <devnull@localhost> | 2013-06-19 20:39:13 +0200 |
|---|---|---|
| committer | Roland Meister <devnull@localhost> | 2013-06-19 20:39:13 +0200 |
| commit | 0f6bc97b3d0ef4b56cb80de26cf714b2124a14e9 (patch) | |
| tree | 56077dbe644c5a20e07369b7e8c1a0586546c87a /sphinx/ext/todo.py | |
| parent | 1930b22c95d99f5ad63423c5e40c050fbdc364f4 (diff) | |
| download | sphinx-0f6bc97b3d0ef4b56cb80de26cf714b2124a14e9.tar.gz | |
Remove ids from copied todo directives; they are no longer unique in the todolist
Diffstat (limited to 'sphinx/ext/todo.py')
| -rw-r--r-- | sphinx/ext/todo.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sphinx/ext/todo.py b/sphinx/ext/todo.py index 32108b1e..de5d2b9f 100644 --- a/sphinx/ext/todo.py +++ b/sphinx/ext/todo.py @@ -60,11 +60,13 @@ def process_todos(app, doctree): raise IndexError except IndexError: targetnode = None + newnode = node.deepcopy() + del newnode['ids'] env.todo_all_todos.append({ 'docname': env.docname, 'source': node.source or env.doc2path(env.docname), 'lineno': node.line, - 'todo': node.deepcopy(), + 'todo': newnode, 'target': targetnode, }) |
