K 10 svn:author V 5 asami K 8 svn:date V 27 1995-05-02T11:42:00.000000Z K 7 svn:log V 131 (1) Rename do-install to post-install. (2) Take out make install.man from pre-install, it's not necessary as USE_IMAKE is set. END