From 5f313a5c223b51ec61c398ae5570b075114c7751 Mon Sep 17 00:00:00 2001 From: =?utf8?q?C=C3=A9dric=20Aguerre?= Date: Thu, 29 Oct 2015 14:05:36 +0100 Subject: [PATCH] fix bug when generating links in virtual application for share/doc/dev --- bin/virtual_salome.py | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/bin/virtual_salome.py b/bin/virtual_salome.py index db99db036..2f0169086 100755 --- a/bin/virtual_salome.py +++ b/bin/virtual_salome.py @@ -146,6 +146,7 @@ def link_module(options): module_sharedoc_gui_dir=os.path.join(module_dir,'share','doc','salome','gui') module_sharedoc_tui_dir=os.path.join(module_dir,'share','doc','salome','tui') module_sharedoc_examples=os.path.join(module_dir,'share','doc','salome','examples') + module_sharedoc_dev=os.path.join(module_dir,'share','doc','salome','dev') bin_dir=os.path.join(home_dir,'bin','salome') test_dir=os.path.join(home_dir,'bin','salome', 'test') @@ -163,6 +164,7 @@ def link_module(options): sharedoc_gui_dir=os.path.join(home_dir,'share','doc','salome','gui') sharedoc_tui_dir=os.path.join(home_dir,'share','doc','salome','tui') sharedoc_examples_dir=os.path.join(home_dir,'share','doc','salome','examples') + sharedoc_dev_dir=os.path.join(home_dir,'share','doc','salome','dev') if options.clear: rmtree(bin_dir) @@ -270,6 +272,7 @@ def link_module(options): if fn == 'gui':continue if fn == 'tui':continue if fn == 'examples':continue + if fn == 'dev':continue symlink(os.path.join(module_sharedoc_dir, fn), os.path.join(sharedoc_dir, fn)) pass pass @@ -298,6 +301,14 @@ def link_module(options): pass pass + #directory share/doc/salome/dev : create it and link content + if os.path.exists(module_sharedoc_dev): + mkdir(sharedoc_dev_dir) + for fn in os.listdir(module_sharedoc_dev): + symlink(os.path.join(module_sharedoc_dev, fn), os.path.join(sharedoc_dev_dir, fn)) + pass + pass + #directory share/salome : create it and link content if os.path.exists(module_share_dir): mkdir(share_dir) -- 2.39.2