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