|
Last change
on this file since 1163 was 1046, checked in by alloc, 8 years ago |
|
Daodan: Added Windows MinGW and build batch file
|
|
File size:
663 bytes
|
| Rev | Line | |
|---|
| [1046] | 1 | #!/bin/sh
|
|---|
| 2 | # $Id: pdftexi2dvi,v 1.3 2007/07/05 15:22:26 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+"$@"}
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
