Skip building documentation step for doxygen (not compilable on some platforms)

diff --git a/config_files/doxygen-1.4.6.sh b/config_files/doxygen-1.4.6.sh
index ca756d545b5124b8d53385c5962f94d105d5d657..2907e0b6c33e338501f55f42278ca6a808c1f094 100755 (executable)
--- a/config_files/doxygen-1.4.6.sh
+++ b/config_files/doxygen-1.4.6.sh
@@ -82,24 +82,25 @@ EOF
 check_job ${PRODUCT_DIR}/MAKE.LOG make
 check_job ${PRODUCT_DIR}/MAKEINSTALL.LOG make install
 
-which epstopdf >/dev/null 2>&1;  ISFOUND=$?
-if [ ${ISFOUND} -eq 0 ] ; then  which dot >/dev/null 2>&1; ISFOUND=$?; fi
-if [ ${ISFOUND} -eq 0 ] ; then  which makeindex >/dev/null 2>&1; ISFOUND=$?; fi
-if [ ${ISFOUND} -eq 0 ] ; then  which latex >/dev/null 2>&1; ISFOUND=$?; fi
-#if [ ${ISFOUND} -eq 0 ] ; then  which latex2html >/dev/null 2>&1; ISFOUND=$?; fi
-if [ ${ISFOUND} -eq 0 ] ; then  which pdflatex >/dev/null 2>&1; ISFOUND=$?; fi
-if [ ${ISFOUND} -eq 0 ] ; then  which pslatex >/dev/null 2>&1; ISFOUND=$?; fi
-#if [ ${ISFOUND} -eq 0 ] ; then  which pstoimg >/dev/null 2>&1; ISFOUND=$?; fi
-if [ ${ISFOUND} -eq 0 ] ; then
-    check_job ${PRODUCT_DIR}/MAKEDOCS.LOG make docs
-    check_job ${PRODUCT_DIR}/MAKEINSTALLDOCS.LOG make install_docs
-else
-    cat >> ${PRODUCT_DIR}/MAKEDOCS.LOG <<EOF
-Can't find \"epstopdf\", \"latex\" or another documentation tool on the computer.
-doxygen documentation can not be built!
-SALOME DOCUMENTATION MIGHT NOT BE BUILT ALSO!
-EOF
-fi
+#vsr : disable make docs steps because of bugs in make procedure
+#which epstopdf >/dev/null 2>&1;  ISFOUND=$?
+#if [ ${ISFOUND} -eq 0 ] ; then  which dot >/dev/null 2>&1; ISFOUND=$?; fi
+#if [ ${ISFOUND} -eq 0 ] ; then  which makeindex >/dev/null 2>&1; ISFOUND=$?; fi
+#if [ ${ISFOUND} -eq 0 ] ; then  which latex >/dev/null 2>&1; ISFOUND=$?; fi
+##if [ ${ISFOUND} -eq 0 ] ; then  which latex2html >/dev/null 2>&1; ISFOUND=$?; fi
+#if [ ${ISFOUND} -eq 0 ] ; then  which pdflatex >/dev/null 2>&1; ISFOUND=$?; fi
+#if [ ${ISFOUND} -eq 0 ] ; then  which pslatex >/dev/null 2>&1; ISFOUND=$?; fi
+##if [ ${ISFOUND} -eq 0 ] ; then  which pstoimg >/dev/null 2>&1; ISFOUND=$?; fi
+#if [ ${ISFOUND} -eq 0 ] ; then
+#    check_job ${PRODUCT_DIR}/MAKEDOCS.LOG make docs
+#    check_job ${PRODUCT_DIR}/MAKEINSTALLDOCS.LOG make install_docs
+#else
+#    cat >> ${PRODUCT_DIR}/MAKEDOCS.LOG <<EOF
+#Can't find \"epstopdf\", \"latex\" or another documentation tool on the computer.
+#doxygen documentation can not be built!
+#SALOME DOCUMENTATION MIGHT NOT BE BUILT ALSO!
+#EOF
+#fi
 
 #du -sk ${PRODUCT_WORK} > ${PRODUCT_DIR}/size.log
 cd ${PRODUCT_DIR}; rm -fr ${PRODUCT_WORK}