From 044f61ddb103ea1b215d05e5302b53ac471a9aa7 Mon Sep 17 00:00:00 2001 From: Georg Brandl Date: Sat, 20 Feb 2010 14:20:39 +0100 Subject: [PATCH] Do not throw away existing section ids. --- sphinx/environment.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sphinx/environment.py b/sphinx/environment.py index c35d0e590..f03c49562 100644 --- a/sphinx/environment.py +++ b/sphinx/environment.py @@ -122,7 +122,7 @@ class MoveModuleTargets(Transform): if node['ids'][0].startswith('module-') and \ node.parent.__class__ is nodes.section and \ node.has_key('ismod'): - node.parent['ids'] = node['ids'] + node.parent['ids'][0:0] = node['ids'] node.parent.remove(node)