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