#! /bin/sh if test $# -ne 2; then echo "Usage: $0 python filename" >&2 exit 1 fi if test "x$1" != xpython; then echo "$0: first argument must be \`python'" exit 1 fi if test -z "$top_srcdir"; then echo "$0: top_srcdir undefined" >&2 exit 1 fi lang=$1 # Connect stdout to the output file. exec >$2 cat < \$\$d; \\ done EOF