Fix for the issue #2886 : In the Help main page of SHAPER the section "Sketch plug...

diff --git a/doc/gui/build_index.py b/doc/gui/build_index.py
index 1f7f74d51ba0c6ab2eeab277e877f8a8d128ee74..aaf545844e2db6c3651d59b0888327c64acbc8c6 100755 (executable)
--- a/doc/gui/build_index.py
+++ b/doc/gui/build_index.py
@@ -45,6 +45,8 @@ def findDir(theConfFile):
 
 ## Find accessible plugins from plugins.xml configuration file
 aPluginList = []
+# A map to avoid duplication of plugins
+aPluginsMap = {}
 aDomObj = parse(aConfigPath)
 aPluginsList = aDomObj.getElementsByTagName("plugin")
 for plugin in aPluginsList:
@@ -53,7 +55,8 @@ for plugin in aPluginsList:
         aLibName = plugin.getAttribute("script")
     aConfigFile = plugin.getAttribute("configuration")
 
-    if aLibName and aConfigFile:
+    if aLibName and aConfigFile and not aLibName in aPluginsMap:
+        aPluginsMap[aLibName] = True
         aLibDir = findDir(aConfigFile)
         if not aLibDir is None:
             aPluginDocDir = aSrcPath + os.sep + aLibDir + os.sep + "doc"