diff options
author | wl <wl> | 2005-12-09 02:12:33 +0000 |
---|---|---|
committer | wl <wl> | 2005-12-09 02:12:33 +0000 |
commit | 980769f4aa3cdfc87a75e5da4d2b80329dcb704a (patch) | |
tree | 5c655a179b245e188daedfac185c67ed1ea8ef00 /font/devps | |
parent | 81c45c89499d8361366288b11e0e8b1deca599b6 (diff) | |
download | groff-980769f4aa3cdfc87a75e5da4d2b80329dcb704a.tar.gz |
The change 2005-06-20 can indeed cause problems, so we follow the
advice by using marks.
* font/devps/prologue.ps (PBEGIN): Use `mark'.
(PEND): Use `cleartomark'.
Diffstat (limited to 'font/devps')
-rw-r--r-- | font/devps/prologue.ps | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/font/devps/prologue.ps b/font/devps/prologue.ps index 1ec2df77..5bd9d954 100644 --- a/font/devps/prologue.ps +++ b/font/devps/prologue.ps @@ -240,9 +240,11 @@ % See: http://www.w-beer.de/doc/ps/. % /setpagedevice {} def + mark } bind def /PEND { + cleartomark countdictstack CNT sub { end } repeat level1 restore } bind def |