diff options
Diffstat (limited to 'macros/texinfo/texinfo/util/pdftexi2dvi')
-rw-r--r-- | macros/texinfo/texinfo/util/pdftexi2dvi | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/macros/texinfo/texinfo/util/pdftexi2dvi b/macros/texinfo/texinfo/util/pdftexi2dvi new file mode 100644 index 0000000000..3123e696f6 --- /dev/null +++ b/macros/texinfo/texinfo/util/pdftexi2dvi @@ -0,0 +1,37 @@ +#!/bin/sh +# Written by Thomas Esser. Public domain. +# Execute texi2dvi --pdf. + +test -f /bin/ksh && test -z "$RUNNING_KSH" \ + && { UNAMES=`uname -s`; test "x$UNAMES" = xULTRIX; } 2>/dev/null \ + && { RUNNING_KSH=true; export RUNNING_KSH; exec /bin/ksh $0 ${1+"$@"}; } +unset RUNNING_KSH + +test -f /bin/bsh && test -z "$RUNNING_BSH" \ + && { UNAMES=`uname -s`; test "x$UNAMES" = xAIX; } 2>/dev/null \ + && { RUNNING_BSH=true; export RUNNING_BSH; exec /bin/bsh $0 ${1+"$@"}; } +unset RUNNING_BSH + +# hack around a bug in zsh: +test -n "${ZSH_VERSION+set}" && alias -g '${1+"$@"}'='"$@"' + +rcs_revision='$Revision$' +rcs_version=`set - $rcs_revision; echo $2` + +# special-case --version following GNU standards for identifying the +# program name. If --version is specified as other than the first +# argument, we don't output the standard name, but then, we're not +# obliged to. +if test "x$1" = x--version; then + cat <<EOF +texi2pdf (GNU Texinfo 6.6) $rcs_version + +Copyright (C) 2019 Free Software Foundation, Inc. +License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> +This is free software: you are free to change and redistribute it. +There is NO WARRANTY, to the extent permitted by law. +EOF + exit 0 +fi + +texi2dvi --pdf ${1+"$@"} |