K 10 svn:author V 3 jmz K 8 svn:date V 27 1997-02-18T16:57:35.000000Z K 7 svn:log V 98 Update to take into account the changes in the tex port (mainly ${PREFIX}/lib -> ${PREFIX}/share) END