From 61d83d0938555af19336bb56bc8d42a7046ba043 Mon Sep 17 00:00:00 2001
From: Werner Lemberg <wl@gnu.org>
Date: Fri, 18 Jan 2008 05:19:20 +0000
Subject: [PATCH] Oops!

---
 src/tools/docmaker/formatter.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/tools/docmaker/formatter.py b/src/tools/docmaker/formatter.py
index 8796bb224..e889ccca9 100644
--- a/src/tools/docmaker/formatter.py
+++ b/src/tools/docmaker/formatter.py
@@ -26,7 +26,6 @@ class Formatter:
         # store all blocks in a dictionary
         self.blocks = []
         for section in self.sections:
-            self.add_identifier( section.name, section );
             for block in section.blocks.values():
                 self.add_identifier( block.name, block )