Salome HOME
projects
/
modules
/
shaper.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
b217425
)
Take scripts based plug-ins into account for documents generation
author
vsv
<vsv@opencascade.com>
Fri, 10 Aug 2018 14:03:38 +0000
(17:03 +0300)
committer
vsv
<vsv@opencascade.com>
Fri, 10 Aug 2018 14:03:38 +0000
(17:03 +0300)
doc/gui/build_index.py
patch
|
blob
|
history
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")
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
if aLibName:
aPluginDocDir = aSrcPath + os.sep + aLibName + os.sep + "doc"
aDocDist = aBuildDir + os.sep + aLibName