Last change
on this file since 1089 was 1046, checked in by alloc, 8 years ago |
Daodan: Added Windows MinGW and build batch file
|
File size:
660 bytes
|
Rev | Line | |
---|
[1046] | 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+"$@"}
|
---|
Note:
See
TracBrowser
for help on using the repository browser.