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[*]}"  \