From 2c4324d7a7f1ac13cd8dce38cc3c194660a19037 Mon Sep 17 00:00:00 2001 From: mpv Date: Mon, 11 Mar 2019 10:09:52 +0300 Subject: [PATCH] Fix for the issue #2886 : In the Help main page of SHAPER the section "Sketch plug-in" appear twice --- doc/gui/build_index.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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" -- 2.39.2