1#!/bin/sh 2# Id: texi2pdf,v 1.1 2004/07/11 01:02:35 karl Exp 3# Written by Thomas Esser. Public domain. 4# Execute texi2dvi --pdf. 5 6test -f /bin/sh5 && test -z "$RUNNING_SH5" \ 7 && { UNAMES=`uname -s`; test "x$UNAMES" = xULTRIX; } 2>/dev/null \ 8 && { RUNNING_SH5=true; export RUNNING_SH5; exec /bin/sh5 $0 ${1+"$@"}; } 9unset RUNNING_SH5 10 11test -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+"$@"}; } 14unset RUNNING_BSH 15 16# hack around a bug in zsh: 17test -n "${ZSH_VERSION+set}" && alias -g '${1+"$@"}'='"$@"' 18 19texi2dvi --pdf ${1+"$@"} 20