Take scripts based plug-ins into account for documents generation

diff --git a/doc/gui/build_index.py b/doc/gui/build_index.py
index 72967d2000607cbecc2766a044165675470b951a..343634f6aada0fbb73eeb1748016a999f119c4ae 100644 (file)
--- a/doc/gui/build_index.py
+++ b/doc/gui/build_index.py
@@ -40,6 +40,9 @@ aDomObj = parse(aConfigPath)
 aPluginsList = aDomObj.getElementsByTagName("plugin")
 for plugin in aPluginsList:
     aLibName = plugin.getAttribute("library")
+    if not aLibName:
+        aLibName = plugin.getAttribute("script")
+
     if aLibName:
         aPluginDocDir = aSrcPath + os.sep + aLibName + os.sep + "doc"
         aDocDist = aBuildDir + os.sep + aLibName