From: mpv <mpv@opencascade.com>
Date: Mon, 11 Mar 2019 07:09:52 +0000 (+0300)
Subject: Fix for the issue #2886 : In the Help main page of SHAPER the section "Sketch plug... 
X-Git-Tag: V9_3_0b1~3^2~12
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=2c4324d7a7f1ac13cd8dce38cc3c194660a19037;p=modules%2Fshaper.git

Fix for the issue #2886 : In the Help main page of SHAPER the section "Sketch plug-in" appear twice
---

diff --git a/doc/gui/build_index.py b/doc/gui/build_index.py
index 1f7f74d51..aaf545844 100755
--- 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"