K 10 svn:author V 3 bde K 8 svn:date V 27 1998-05-10T16:51:07.000000Z K 7 svn:log V 224 Removed share/info from build-tools. It should never have been there, and became redundant when it was put in SUBDIR, and became bogus when WORLDTMP was introduced, and became broken when INFODIR was introduced. PR: 6138 END