From e4e1b4e3980a35b69caa66e5c06eea084e00e418 Mon Sep 17 00:00:00 2001
From: vsr <vsr@opencascade.com>
Date: Tue, 6 Aug 2013 10:10:49 +0000
Subject: [PATCH] 0022256: [CEA 866] Add item "Developers" in menu "Help"

---
 config_files/DOCUMENTATION.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 <<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})
-- 
2.39.2