1 files changed, 133 insertions, 0 deletions
diff --git a/Master/bin/alpha-linux/ps4pdf b/Master/bin/alpha-linux/ps4pdf
new file mode 100755
index 00000000000..cbdcb022926
--- /dev/null
+++ b/Master/bin/alpha-linux/ps4pdf
@@ -0,0 +1,133 @@
+#!/bin/sh
+
+# Copyright (C) 2004, Thomas Esser. Public domain.
+# 2005-03-08: New option "--crop", Rolf Niepraschk. 
+# dvips call only if the dvi file exist (RN). 
+# 2005-06-27: ps2pdf call only if the ps file exist (RN). 
+# 2006-04-05: "\RequirePackage{pst-pdf}" added to the (pdf)LaTeX calls 
+#             as suggested by Niall Murphy.
+# 2006-07-14: Better temp dir handling (suggested by Karl Berry) (RN).
+# 2006-07-23: New option --Xps2pdf and code cleanup (thanks to Karl Berry) (RN).
+
+# First, work around bugs/limitations in some shells on some systems:
+test -f /bin/sh5 && test -z "$RUNNING_SH5" \
+  && { UNAMES=`uname -s`; test "x$UNAMES" = xULTRIX; } 2>/dev/null \
+  && { RUNNING_SH5=true; export RUNNING_SH5; exec /bin/sh5 $0 ${1+"$@"}; }
+unset RUNNING_SH5
+
+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+"$@"}'='"$@"'
+
+###############################################################################
+# cleanup()
+#   clean up the temp area and exit with proper exit status
+###############################################################################
+cleanup()
+{
+  rc=$?
+  $needsCleanup && test -n "$tmpdir" && test -d "$tmpdir" \
+    && { rm -f "$tmpdir"/*; cd /; rmdir "$tmpdir"; }
+
+  # set exit code in a portable way; see the autoconf manual for details:
+  (exit $rc); exit $rc
+}
+
+###############################################################################
+# setupTmpDir()
+#   set up a temp directory and a trap to remove it
+###############################################################################
+setupTmpDir()
+{
+  $needsCleanup && return
+
+  trap 'cleanup' 1 2 3 7 13 15
+  needsCleanup=true
+  (umask 077; mkdir "$tmpdir") \
+    || abort "could not create directory \`$tmpdir'"
+}
+###############################################################################
+# myexec(args)
+#   execute the command given as "args"; abort on error; redirect messages to
+#   log in "silent" mode; redirect stdin (</dev/null) in silent mode
+###############################################################################
+myexec()
+{
+  if $silent; then
+    echo "$0: running $@"
+    "$@" >$log 2>&1 </dev/null
+    rc=$?
+  else
+    "$@"
+    rc=$?
+  fi
+  if test $rc != 0; then
+    echo "$0: command $@ returned with code $rc"
+    cat <$log
+    (exit $rc) # set return value
+    cleanup
+  fi
+}
+
+# some initializations
+progname=pdflatexps
+silent=true # default setting; change if you like
+crop=false
+needsCleanup=false
+ps2pdf_opts="-dAutoRotatePages=/None"
+tmpdir=${TMPDIR-${TEMP-${TMP-/tmp}}}/.$progname$$
+log=$tmpdir/log
+version="1.0"
+
+# look for optional things first
+while
+  case $1 in
+   --help|-h) echo "$0 [-v|-q|--crop|--version|--Xps2pdf OPT] FILE"
+              echo "Process LaTeX document FILE using the pst-pdf package,"
+              echo "including running latex, dvips, and ps2pdf as necessary."
+              echo "--Xps2pdf OPT passes OPT to ps2pdf."
+              echo " (-dAutoRotatePages=/None is always passed.)"
+              echo "--crop runs pdfcrop on ps2pdf output."
+  		                   exit 0;;
+   --version) echo "$progname version $version"; exit 0;;
+   --crop|-c) crop=true;;
+   --Xps2pdf|-Xps2pdf) shift; ps2pdf_opts="$ps2pdf_opts $1";;
+   -q) silent=true;;
+   -v) silent=false;;
+    -*) echo "$progname: unknown option $1 ignored";;
+    *) break;;
+  esac
+do
+  shift
+done
+
+# remaining option: filename
+file=$1
+if test -z "$file"; then
+  echo "$0: no file to process, try --help for more information." >&2
+  exit 1
+fi
+
+# jobname von TeX: Verzeichnisse entfernen, evtl. vorhandene Extension
+# entfernen.
+job=`echo "x$1" | sed 's@x@@; s@.*/@@; s@\.[^.]*$@@'`
+
+setupTmpDir
+myexec latex \
+    "\AtBeginDocument{\RequirePackage{pst-pdf}} \input{$file}"
+test -f "$job.dvi" && myexec dvips -Ppdf -o "$job-pics.ps" "$job.dvi"
+test -f "$job-pics.ps" && myexec ps2pdf \
+  "$ps2pdf_opts" "$job-pics.ps" "$job-pics.pdf"
+if $crop; then
+  myexec pdfcrop "$job-pics.pdf" "$job-pics-crop.pdf" 
+  mv "$job-pics-crop.pdf" "$job-pics.pdf"
+fi
+myexec pdflatex \
+    "\AtBeginDocument{\RequirePackage{pst-pdf}} \input{$file}"
+true
+cleanup
+