K 10 svn:author V 3 max K 8 svn:date V 27 1997-06-12T12:28:32.000000Z K 7 svn:log V 58 Patch up make.texinfo and add @dircategory and @direntry. END