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 db99db0365905b9333f3216bf8c40a4643e85463..2f0169086e6c0c3f2b890b2501eedb07037fd343 100755 (executable)
--- 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)