K 10
svn:author
V 3
jkh
K 8
svn:date
V 27
1996-03-11T14:59:10.000000Z
K 7
svn:log
V 116
Add a hint that a make world is done so people don't think that the last
command (makewhatis) is running forver. :)

END