K 10 svn:author V 3 jkh K 8 svn:date V 27 1997-05-24T20:15:13.000000Z K 7 svn:log V 155 Add rules for building doc back into releases, conditionalized on NODOC. Also clean up some of the comments at the top. It's 12 o'clock, and that is all. END