From: vsr Date: Fri, 29 Nov 2013 13:54:41 +0000 (+0000) Subject: SALOME 7.3.0 preparation X-Git-Tag: V7_3_0rc1~38 X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=81e94309fd41ccb80f42c6b2daae7c68bfdbea45;p=tools%2Finstall.git SALOME 7.3.0 preparation --- diff --git a/config_files/Sphinx.sh b/config_files/Sphinx.sh index 2c9e074..52fcfea 100755 --- a/config_files/Sphinx.sh +++ b/config_files/Sphinx.sh @@ -13,12 +13,13 @@ #################################################################################### # -# Sphinx version +# Sphinx and prereqs versions # -SPHINX_VERSION=1.1.3 -SETUPTOOLS_VERSION=0.6c11 -JINJA2_VERSION=2.6 -PYGMENTS_VERSION=1.5 +VERSION_SPHINX=1.1.3 +VERSION_DOCUTILS=0.10 +VERSION_SETUPTOOLS=0.6c11 +VERSION_JINJA2=2.6 +VERSION_PYGMENTS=1.5 check_version(){ # It is not necessary to check version! @@ -27,11 +28,10 @@ return 0 print_env_bin(){ cat > ${INSTALL_WORK}/env_${PRODUCT_TYPE}.sh < ${INSTALL_WORK}/env_${PRODUCT_TYPE}_src.sh <> ${PRODUCT_DIR}/MAKE.LOG <