| #!/bin/sh |
| # $Id: texi2pdf,v 1.2 2005/01/28 01:52:04 karl Exp $ |
| # Written by Thomas Esser. Public domain. |
| # Execute texi2dvi --pdf. |
| |
| test -f /bin/ksh && test -z "$RUNNING_KSH" \ |
| && { UNAMES=`uname -s`; test "x$UNAMES" = xULTRIX; } 2>/dev/null \ |
| && { RUNNING_KSH=true; export RUNNING_KSH; exec /bin/ksh $0 ${1+"$@"}; } |
| unset RUNNING_KSH |
| |
| test -f /bin/bsh && test -z "$RUNNING_BSH" \ |
| && { UNAMES=`uname -s`; test "x$UNAMES" = xAIX; } 2>/dev/null \ |
| && { RUNNING_BSH=true; export RUNNING_BSH; exec /bin/bsh $0 ${1+"$@"}; } |
| unset RUNNING_BSH |
| |
| # hack around a bug in zsh: |
| test -n "${ZSH_VERSION+set}" && alias -g '${1+"$@"}'='"$@"' |
| |
| texi2dvi --pdf ${1+"$@"} |