summaryrefslogtreecommitdiff
path: root/Build/source/extra/epstopdf/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/extra/epstopdf/Makefile')
-rw-r--r--Build/source/extra/epstopdf/Makefile6
1 files changed, 5 insertions, 1 deletions
diff --git a/Build/source/extra/epstopdf/Makefile b/Build/source/extra/epstopdf/Makefile
index 152ae6ec1f7..1dfb8a6c800 100644
--- a/Build/source/extra/epstopdf/Makefile
+++ b/Build/source/extra/epstopdf/Makefile
@@ -1,7 +1,7 @@
# $Id$
# This file is public domain. (Originally written by Karl Berry, 2009.)
-e2p = ./epstopdf.pl #--debug
+e2p = ./epstopdf.pl --debug
default: check
@@ -18,6 +18,10 @@ check-help:
check-version:
$(e2p) --version
+check-filter:
+ cat test-simple.eps | $(e2p) --filter >test-filter.pdf
+ pdfinfo test-filter.pdf | grep "Page size:"
+
check-write-error:
-$(e2p) test-simple.eps --outfile=/dev/full