From: vsr Date: Tue, 6 Aug 2013 10:10:49 +0000 (+0000) Subject: 0022256: [CEA 866] Add item "Developers" in menu "Help" X-Git-Tag: V7_3_0rc1~52 X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=e4e1b4e3980a35b69caa66e5c06eea084e00e418;p=tools%2Finstall.git 0022256: [CEA 866] Add item "Developers" in menu "Help" --- diff --git a/config_files/DOCUMENTATION.sh b/config_files/DOCUMENTATION.sh index a42acd4..c6da043 100755 --- a/config_files/DOCUMENTATION.sh +++ b/config_files/DOCUMENTATION.sh @@ -24,7 +24,7 @@ return 1 print_env_src(){ cat > ${INSTALL_WORK}/env_${PRODUCT_TYPE}_src.sh <