#!/bin/bash if [ $# -ne 1 -o "_$1" = _-h -o "_$1" = _--help ] then echo "Usage: $0 " echo " image-descriptor usually is of the form page@file, e.g." echo " 5@paper.ps" exit 1 fi java -mx30000000 -jar Gaucho.jar $@