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_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')