7# ------------------------------------------------------------------------------------------
9# Auxiliary script to convert files.
11# ------------------------------------------------------------------------------------------
13if [ -z $JPP_DIR ]; then
14 echo "Variable JPP_DIR undefined."
18source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
21 usage "$script (input file)+ <output file>"
25 fatal "Invalid number of arguments."
28set_array INPUT_FILES $argv[1,-2]
29set_variable OUTPUT_FILE $argv[-1]
32 -f "${INPUT_FILES[*]}" \