K 10 svn:author V 7 jfieber K 8 svn:date V 27 1995-11-05T18:42:23.000000Z K 7 svn:log V 111 Add sgmlfmt to build-tools target so a make world with current source on a <= 2.0.5 system does not fall over. END