Fix the positioning of the page number in the table of contents

diff --git a/doc/rdsrc.pl b/doc/rdsrc.pl
index 432976d..6e135e0 100644 (file)
--- 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