r3tex

commit c1933146b0fe171b3aabee9366641514f7c27e02
parent 99acb3b2b209c550e0485009f35817bea85a7585
Author: Robert Russell <robert@rr3.xyz>
Date:   Mon, 26 Aug 2024 01:33:32 -0700

Add tool/epstopdf

I guess I made this ages ago. Not sure what it's for...

I vaguely remember that I had some problem with the standard
epstopdf tool and achieved better quality with ghostscript.
But maybe that's a hallucination.

Diffstat:
A
tool/epstopdf
 | 
5
+++++

1 file changed, 5 insertions(+), 0 deletions(-)
diff --git a/tool/epstopdf b/tool/epstopdf
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+[ $# -eq 1 ] || { echo "usage: $0 FILE.eps" 1>&2; exit 1; }
+
+gs -q -sDEVICE=pdfwrite -dEPSCrop -o - $1