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