[dev-context] mptopdf ... which one

Hi all, what should mptopdf be? Either a texexec of mptopdf.pl or a link to pdftex and dumping the format for mptopdf? Both are present? Thanks and all the best and merry christmas Norbert ------------------------------------------------------------------------------- Dr. Norbert Preining Vienna University of Technology Debian Developer Debian TeX Group gpg DSA: 0x09C5B094 fp: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094 ------------------------------------------------------------------------------- "One disk to rule them all, One disk to find them. One disk to bring them all and in the darkness grind them. In the Land of Redmond where the shadows lie." -- The Silicon Valley Tarot