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-19 17:59:55 +0000 |
commit | 2b4e9663d61c07f7e5aac1ff1dc0596d2ac4cf57 (patch) | |
tree | f87f45dda791f4f79b6aeed9595409fabc3681e5 | |
parent | 7567ae31a40f66050c30622422605b97dc3fec6f (diff) |
Sacrificial commit for gs/gpdf comparison testgpdf_gs_text_filter_002
-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 a08b928cf..9d3f68f54 100644 --- a/Resource/Init/pdf_main.ps +++ b/Resource/Init/pdf_main.ps @@ -892,6 +892,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 |