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