Fix the positioning of the page number in the table of contents
authorH. Peter Anvin <hpa@zytor.com>
Tue, 7 May 2002 05:50:14 +0000 (05:50 +0000)
committerH. Peter Anvin <hpa@zytor.com>
Tue, 7 May 2002 05:50:14 +0000 (05:50 +0000)
commitc936bae6f0d45a03184a24b1fa20dd07bfbac490
tree7767d92359dfb3871205ea31881ebe7391db2941
parent94e6ee087338cc3eb3012c1cf5c9ac796b8b8869
Fix the positioning of the page number in the table of contents
doc/rdsrc.pl