home *** CD-ROM | disk | FTP | other *** search
/ Chip 2007 January, February, March & April / Chip-Cover-CD-2007-02.iso / Pakiet bezpieczenstwa / mini Pentoo LiveCD 2006.1 / mpentoo-2006.1.iso / livecd.squashfs / usr / bin / texi2pdf < prev    next >
Encoding:
Text File  |  2005-10-13  |  660 b   |  20 lines
  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+"$@"}
  20.