diff options
Diffstat (limited to 'unix/eps2pdf.sh')
-rwxr-xr-x | unix/eps2pdf.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/unix/eps2pdf.sh b/unix/eps2pdf.sh deleted file mode 100755 index b803732..0000000 --- a/unix/eps2pdf.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/sh - -# convert from eps to pdf using gs - -GS="`which gs`" -BASENAME="`basename $1 .eps`" -${GS} -sDEVICE=pdfwrite -dNOPAUSE -dQUIET -sOutputFile=${BASENAME}.pdf - < $1 - |