diff options
| -rw-r--r-- | doc/rdsrc.pl | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/doc/rdsrc.pl b/doc/rdsrc.pl index 432976d..6e135e0 100644 --- a/doc/rdsrc.pl +++ b/doc/rdsrc.pl @@ -959,6 +959,9 @@ sub write_ps { $lnamei = "idx" . $lname; @lnames = @ltypes = (); + $linewidth = 468; # ADJUSTABLE: width of a normal text line + $bulletadj = 12; # ADJUSTABLE: space for a bullet + for ($para = 0; $para <= $#pnames; $para++) { $pname = $pnames[$para]; $pflags = $pflags[$para]; @@ -1033,13 +1036,13 @@ sub write_ps { # 75-char right margin and either 7 or 11 char left margin # depending on bullets. if ($ptype eq "bull") { - $width = 456; # leave 12-pt left indent for the bullet + $width = $linewidth - $bulletadj; $type = $begtype = "bbeg"; $bodytype = "bbdy"; $onetype = "bone"; $endtype = "bend"; } else { - $width = 468; + $width = $linewidth; $type = $begtype = "nbeg"; $bodytype = "nbdy"; $onetype = "none"; @@ -1457,7 +1460,7 @@ sub ps_header { i yy moveto (.) linkshow } if } for - ss linkshow + ex yy moveto ss linkshow linkend } def /just { /w exch def /y exch def /a exch def |