0021895: EDF 2372 GEOM SMESH : Generate the doc examples from real python scripts

Apply patch from R.Nedelec (missing examples in virtual application)

diff --git a/bin/virtual_salome.py b/bin/virtual_salome.py
index bf36a4b13f6622ec52fe8d0e06a6b028ce270b94..954d7c004bf01fef035052c594f0e9d938a0b306 100644 (file)
--- a/bin/virtual_salome.py
+++ b/bin/virtual_salome.py
@@ -143,6 +143,7 @@ def link_module(options):
     module_sharedoc_dir=os.path.join(module_dir,'share','doc','salome')
     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')
 
     bin_dir=os.path.join(home_dir,'bin','salome')
     idl_dir=os.path.join(home_dir,'idl','salome')
@@ -157,6 +158,7 @@ def link_module(options):
     sharedoc_dir=os.path.join(home_dir,'share','doc','salome')
     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')
 
     if options.clear:
         rmtree(bin_dir)
@@ -236,6 +238,7 @@ def link_module(options):
         for fn in os.listdir(module_sharedoc_dir):
             if fn == 'gui':continue
             if fn == 'tui':continue
+            if fn == 'examples':continue
             symlink(os.path.join(module_sharedoc_dir, fn), os.path.join(sharedoc_dir, fn))
             pass
         pass
@@ -255,6 +258,14 @@ def link_module(options):
             symlink(os.path.join(module_sharedoc_tui_dir, fn), os.path.join(sharedoc_tui_dir, fn))
             pass
         pass
+      
+    #directory share/doc/salome/examples : create it and link content
+    if os.path.exists(module_sharedoc_examples):
+        mkdir(sharedoc_examples_dir)
+        for fn in os.listdir(module_sharedoc_examples):
+            symlink(os.path.join(module_sharedoc_examples, fn), os.path.join(sharedoc_examples_dir, fn))
+            pass
+        pass
 
     #directory share/salome : create it and link content
     if os.path.exists(module_share_dir):