From f343df4c305c220f112bba738ca3405ec3874464 Mon Sep 17 00:00:00 2001
From: vsv <vsv@opencascade.com>
Date: Fri, 10 Aug 2018 17:03:38 +0300
Subject: [PATCH] Take scripts based plug-ins into account for documents
 generation

---
 doc/gui/build_index.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/gui/build_index.py b/doc/gui/build_index.py
index 72967d200..343634f6a 100644
--- 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
-- 
2.39.2