From: Cédric Aguerre <cedric.aguerre@edf.fr>
Date: Thu, 29 Oct 2015 13:05:36 +0000 (+0100)
Subject: fix bug when generating links in virtual application for share/doc/dev
X-Git-Tag: V8_0_pre~2^2
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=5f313a5c223b51ec61c398ae5570b075114c7751;p=modules%2Fkernel.git

fix bug when generating links in virtual application for share/doc/dev
---

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)