diff options
Diffstat (limited to 'Build/extra/epstopdf/Makefile')
-rw-r--r-- | Build/extra/epstopdf/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Build/extra/epstopdf/Makefile b/Build/extra/epstopdf/Makefile index ef62a30d9ce..c5f618bce0f 100644 --- a/Build/extra/epstopdf/Makefile +++ b/Build/extra/epstopdf/Makefile @@ -22,6 +22,7 @@ check: check-help check-version check-help-r check-usage \ check-gscmd check-gsopt check-gsopts \ check-nogs \ check-output \ + check-pdfversion \ check-percent \ check-restricted-device \ check-restricted-gscmd \ @@ -132,6 +133,12 @@ check-binhdr-cr: check-binhdr-crlf: $(MAKE) file=test-binhdr-crlf check1 +check-pdfversion: + $(e2p) test-simple.eps + pdfinfo test-simple.pdf | grep '^PDF version.*1\.5$$' + $(e2p) --gsopt=-dCompatibilityLevel=1.4 test-simple.eps + pdfinfo test-simple.pdf | grep '^PDF version.*1\.4$$' + check-percent: $(MAKE) file=test-per%cent check1 test -s test-per%cent.pdf |