Fix help files generation on Windows

diff --git a/doc/gui/build_index.py b/doc/gui/build_index.py
index c72cd7c95bd10e2b807bdcacf37f46501d46096c..8a66d7c69607e7e17bda6d6110f4c2b39c18d6eb 100755 (executable)
--- a/doc/gui/build_index.py
+++ b/doc/gui/build_index.py
@@ -74,7 +74,9 @@ def main(src_dir, build_dir):
                 shutil.rmtree(dist_dir)
             shutil.copytree(lib_dir, dist_dir)
             ## Collect index file
-            indices.append(osp.join(plugin_name, plugin_name + '.rst'))
+            ## For Sphinks type of slash is important.
+            ## Even for Windows the slash direction has to be the same
+            indices.append(plugin_name + "/" + plugin_name + '.rst')
             ## Collect TUI scripts
             tui_files = sorted(f for f in os.listdir(lib_dir) if \
                                    osp.isfile(osp.join(lib_dir, f)) and re.match('TUI_.*\.rst', f))