diff options
author | wl <wl> | 2006-02-14 19:47:15 +0000 |
---|---|---|
committer | wl <wl> | 2006-02-14 19:47:15 +0000 |
commit | 75678fc3f0a427e3a3ddabaa50ffb077af9442c7 (patch) | |
tree | 31d5105b5a9137d4ebd48584470589f386bb9b3d /font/devps | |
parent | 4002ae89fa6320c0b96889d76aab727c836115c2 (diff) | |
download | groff-75678fc3f0a427e3a3ddabaa50ffb077af9442c7.tar.gz |
* font/devps/prologue.ps (RE): Check `UniqueID' also, similar to
dvips.
Diffstat (limited to 'font/devps')
-rw-r--r-- | font/devps/prologue.ps | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/font/devps/prologue.ps b/font/devps/prologue.ps index 5bd9d954..b4b21fd2 100644 --- a/font/devps/prologue.ps +++ b/font/devps/prologue.ps @@ -188,7 +188,10 @@ findfont dup maxlength 1 index /FontName known not { 1 add } if dict begin { - 1 index /FID ne { def } { pop pop } ifelse + 1 index /FID ne + 2 index /UniqueID ne + and + { def } { pop pop } ifelse } forall /Encoding exch def dup /FontName exch def |