K 10
svn:author
V 3
jkh
K 8
svn:date
V 27
1994-10-02T20:11:28.000000Z
K 7
svn:log
V 86
This is for texinfo printing (not in /usr/src/gnu/usr.bin/texinfo).
Submitted by:	jmz

END