diff options
Diffstat (limited to 'Build/source/extra/epstopdf/Makefile')
-rw-r--r-- | Build/source/extra/epstopdf/Makefile | 6 |
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 |