Slight efficiency/readability fix.

2024-12-28 13:42:36 +01:00 · 2003-11-20 01:05:07 +00:00 · 2003-11-20 01:05:07 +00:00 · de81be01ff
commit de81be01ff
parent 0f19c104a8
1 changed files with 2 additions and 1 deletions
--- a/tools/generate-plugin-documentation.py
+++ b/tools/generate-plugin-documentation.py
@ -243,7 +243,8 @@ if __name__ == '__main__':
    prepIndex()
    plugins = [p for p in genPlugins()]
    plugins.sort()
-    plugins = [(None,)] + plugins + [(None,)]
+    plugins.insert(0, None)
+    plugins.append(None)
    for pluginWindow in window(plugins, 3):
        makePluginDocumentation(pluginWindow)
    finishIndex()