diff --git a/tools/generate-plugin-documentation.py b/tools/generate-plugin-documentation.py
index 3d57c8867..4a2efcdbb 100755
--- a/tools/generate-plugin-documentation.py
+++ b/tools/generate-plugin-documentation.py
@@ -160,10 +160,11 @@ def makePluginDocumentation(pluginWindow):
-
<- %s |
-
Plugin Index |
-
Home |
Command Index
- |
%s ->
+
<- %s |
+
Plugin Index |
+
Home |
+
Command Index |
+
%s ->
%s
''' % (prev, cprev, next, cnext, genFooter())))
fd.close()
@@ -243,8 +244,8 @@ if __name__ == '__main__':
prepIndex()
plugins = [p for p in genPlugins()]
plugins.sort()
- plugins.insert(0, None)
- plugins.append(None)
+ plugins.insert(0, [None])
+ plugins.append([None])
for pluginWindow in window(plugins, 3):
makePluginDocumentation(pluginWindow)
finishIndex()