psfonts.ph: increase leading to font size+20%
commitc65035ecdb9b2945099f0400815bc4d7e0cba440
authorH. Peter Anvin <hpa@zytor.com>
Sat, 25 Feb 2012 23:46:38 +0000 (25 15:46 -0800)
committerH. Peter Anvin <hpa@zytor.com>
Sat, 25 Feb 2012 23:46:38 +0000 (25 15:46 -0800)
tree890cef44e8f1bc2454ce4bf7cb0fd43f0742b474
parent6b8cc128f37cd17708479585b43f466abca54ce0
psfonts.ph: increase leading to font size+20%

Increase the leading from +10% to +20%, (12 pt leading for the 10 pt
bulk text.)

Signed-off-by: H. Peter Anvin <hpa@zytor.com>
doc/genps.pl
doc/psfonts.ph