headers conflicted with a command name, so it's now called trheader

2003-12-09 00:48:46 +00:00 · 2003-12-09 00:48:46 +00:00 · daf8177bff
parent ec16d3ae8b
commit daf8177bff
1 changed files with 1 additions and 1 deletions
--- 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 ""),