Salome HOME
projects
/
tools
/
install.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
63a80e0
)
0022256: [CEA 866] Add item "Developers" in menu "Help"
author
vsr
<vsr@opencascade.com>
Tue, 6 Aug 2013 10:10:49 +0000
(10:10 +0000)
committer
vsr
<vsr@opencascade.com>
Tue, 6 Aug 2013 10:10:49 +0000
(10:10 +0000)
config_files/DOCUMENTATION.sh
patch
|
blob
|
history
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})