From 81e94309fd41ccb80f42c6b2daae7c68bfdbea45 Mon Sep 17 00:00:00 2001 From: vsr Date: Fri, 29 Nov 2013 13:54:41 +0000 Subject: [PATCH] SALOME 7.3.0 preparation --- config_files/Sphinx.sh | 81 +++++++++++++++++++++++++----------------- 1 file changed, 48 insertions(+), 33 deletions(-) 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 <