K 10
svn:author
V 7
jfieber
K 8
svn:date
V 27
1997-02-06T20:53:11.000000Z
K 7
svn:log
V 260
Change the distribution from doc to bin.  If this is to be doc, then
everything that depends on this needs to be doc as well.  Maybe they
doc tools should be split out into a separate distribution, but until
that decision is made, at least keep them together.

END