K 10 svn:author V 3 max K 8 svn:date V 27 2001-01-31T12:07:56.000000Z K 7 svn:log V 73 Make this port depend on ptex-euc instead of platex-euc since it's gone. END