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