From d1fd2d0197a369af5d01afacb0b6452b28082b50 Mon Sep 17 00:00:00 2001 From: admin Date: Wed, 10 Mar 2004 13:13:23 +0000 Subject: [PATCH] Initial version --- config.xml | 198 ++++++++++++++++++++++++++++++++++ config_files/SalomeDoc-1.2.sh | 64 +++++++++++ 2 files changed, 262 insertions(+) create mode 100644 config.xml create mode 100755 config_files/SalomeDoc-1.2.sh diff --git a/config.xml b/config.xml new file mode 100644 index 0000000..a777fd7 --- /dev/null +++ b/config.xml @@ -0,0 +1,198 @@ + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/config_files/SalomeDoc-1.2.sh b/config_files/SalomeDoc-1.2.sh new file mode 100755 index 0000000..61205e3 --- /dev/null +++ b/config_files/SalomeDoc-1.2.sh @@ -0,0 +1,64 @@ +#!/bin/sh + +check_version() +{ +return 1 +} + +print_env() +{ +cat > ${INSTALL_WORK}/env_${PRODUCT_TYPE}.sh < ${INSTALL_WORK}/env_${PRODUCT_TYPE}.sh <