0022256: [CEA 866] Add item "Developers" in menu "Help"

diff --git a/config_files/DOCUMENTATION.sh b/config_files/DOCUMENTATION.sh
index a42acd40665d6e6fdafbe47b7df09deea2c2ff8d..c6da0430e169d5116c8f0d8cac8a8f83e4fa46fa 100755 (executable)
--- 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 <<EOF 
 #$DELIM ${PRODUCT_TYPE}_src $DELIM
-#nothing to do
+export DOCUMENTATION_ROOT_DIR=\${INST_ROOT}/${PRODUCT_SRC}
 ##
 EOF
 (test -w ${PRODUCT_SRC_DIR} && cp ${INSTALL_WORK}/env_${PRODUCT_TYPE}_src.sh ${PRODUCT_SRC_DIR})