K 10 svn:author V 5 asami K 8 svn:date V 27 1996-09-14T08:52:22.000000Z K 7 svn:log V 110 Always install MakeTeXPK, renaming the old one out of the way if necessary. Submitted by: max@sfc.wide.ad.jp END