From daf8177bffae8a13a1f99bfef28c74d268239c42 Mon Sep 17 00:00:00 2001
From: James Vega <jamessan@users.sourceforge.net>
Date: Tue, 9 Dec 2003 00:48:46 +0000
Subject: [PATCH] headers conflicted with a command name, so it's now called
 trheader

---
 tools/generate-plugin-documentation.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/generate-plugin-documentation.py b/tools/generate-plugin-documentation.py
index 1299fd81e..90977520e 100755
--- a/tools/generate-plugin-documentation.py
+++ b/tools/generate-plugin-documentation.py
@@ -170,7 +170,7 @@ def makePluginDocumentation(pluginWindow):
     %s
     <div class="mainbody" style="padding: 0;">
     <table>
-    <tr id="headers"><td>Command</td><td>Args</td><td>
+    <tr id="trheader"><td>Command</td><td>Args</td><td>
     Detailed Help</td></tr>
     ''' % (genHeader(title, meta),
            cgi.escape(module.__doc__ or ""),