diff options
author | Chris Liddell <chris.liddell@artifex.com> | 2021-03-19 17:59:55 +0000 |
---|---|---|
committer | Chris Liddell <chris.liddell@artifex.com> | 2021-03-26 17:24:56 +0000 |
commit | c2b502e1169d95350da216a87c0da9fce564b43c (patch) | |
tree | 6850ca3c3c4d2466a32d689d854b2be323a7f607 | |
parent | 5886402add350b065a1ab02e8f02cf70d5f3640b (diff) |
Sacrificial commit for gs/gpdf comparison testgpdf_gs_text_filter_006
-rw-r--r-- | Resource/Init/pdf_main.ps | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Resource/Init/pdf_main.ps b/Resource/Init/pdf_main.ps index fba58369b..17dc4b183 100644 --- a/Resource/Init/pdf_main.ps +++ b/Resource/Init/pdf_main.ps @@ -895,6 +895,7 @@ currentdict /EnablePageHandlerDevice undef /runpdf { % <file> runpdf - /NEWPDF where {/NEWPDF get not} {true} ifelse + pop //false { %% Get the PDF filename (it *must* be a file even if it came from stdin it gets %% copied to a temporary file) and store it in pdfdict. We will use this for |