summaryrefslogtreecommitdiff
path: root/Build/source/extra
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/extra')
-rw-r--r--Build/source/extra/epstopdf/Makefile10
1 files changed, 9 insertions, 1 deletions
diff --git a/Build/source/extra/epstopdf/Makefile b/Build/source/extra/epstopdf/Makefile
index 1dfb8a6c800..03cf417474c 100644
--- a/Build/source/extra/epstopdf/Makefile
+++ b/Build/source/extra/epstopdf/Makefile
@@ -2,13 +2,15 @@
# This file is public domain. (Originally written by Karl Berry, 2009.)
e2p = ./epstopdf.pl --debug
+re2p = repstopdf
default: check
# These are not comprehensive tests by any means. Mostly we're just
# making sure we don't crash.
check: check-help check-version \
- check-write-error check-gscmd \
+ check-help-r \
+ check-filter check-write-error check-gscmd \
check-simple check-atend check-binary check-bin2 \
check-binhdr-lf check-binhdr-cr check-binhdr-crlf \
@@ -18,6 +20,12 @@ check-help:
check-version:
$(e2p) --version
+check-help-r: $(re2p)
+ $(re2p) --help | grep restricted # should have default=true
+
+$(re2p):
+ ln -s epstopdf.pl $@
+
check-filter:
cat test-simple.eps | $(e2p) --filter >test-filter.pdf
pdfinfo test-filter.pdf | grep "Page size:"