K 10
svn:author
V 7
jfieber
K 8
svn:date
V 27
1995-10-15T16:51:16.000000Z
K 7
svn:log
V 125
Remove hacks that go over the doc tree multiple times.
If you need docs in a non-default format, do `make PRINTER=myformat'.

END