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
