K 10 svn:author V 2 tg K 8 svn:date V 27 1998-05-26T08:01:06.000000Z K 7 svn:log V 132 Save mp (printing utility) if it exists and rename mp (MetaPost) to mpost. PR: 6735 Reviewed by: Bernd Rosauer END