From de81be01ff4dec0807c0e000fa615a065c1c3fef Mon Sep 17 00:00:00 2001 From: Jeremy Fincher Date: Thu, 20 Nov 2003 01:05:07 +0000 Subject: [PATCH] Slight efficiency/readability fix. --- tools/generate-plugin-documentation.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/generate-plugin-documentation.py b/tools/generate-plugin-documentation.py index 85aec9a84..3d57c8867 100755 --- 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()