From b51e71b87e588f7b6a30025c51252df1af48febe Mon Sep 17 00:00:00 2001 From: vsv Date: Fri, 7 Aug 2020 22:33:10 +0300 Subject: [PATCH] Fix help files generation on Windows --- doc/gui/build_index.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/doc/gui/build_index.py b/doc/gui/build_index.py index c72cd7c95..8a66d7c69 100755 --- 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)) -- 2.39.2