| Line | |
|---|
| 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 |
|
|---|
| 6 | test -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+"$@"}; }
|
|---|
| 9 | unset RUNNING_SH5
|
|---|
| 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+"$@"}
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
