diff options
author | Karl Berry <karl@freefriends.org> | 2010-06-01 16:47:03 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-06-01 16:47:03 +0000 |
commit | efa150b0c0e1c73cf5c5010e782f458720e7d2e7 (patch) | |
tree | 5c2c80c18820a48f0dcac7c691822362fd65b44e /Master/bin/sparc-linux/dvitomp | |
parent | dda232091b98442362506b0d26d69c91ba207b07 (diff) |
rename supp-pdf to mptopdf, and include the other mptopdf-related files, while excluding them from context. enable mptopdf.fmt. after discussions with taco.
git-svn-id: svn://tug.org/texlive/trunk@18674 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/sparc-linux/dvitomp')
0 files changed, 0 insertions, 0 deletions