# # Helper script to generate html.xsl. # if test $# -ne 1; then echo "Usage: $0 " exit 1 fi if test -f "$1"; then :; else echo "$0: file not found: \"$1\"" exit 1 fi cat << EOF EOF