[tex-live] mp-tool.mp missing

Karl Berry karl at freefriends.org
Sat Dec 1 01:40:50 CET 2012

Hi Hartmut,

    But for backward compatibility shouldn't there be
    a copy (or link) of mp-tool.mpii to mp-tool.mp in TeX Live?

That is not a TeX Live-level decision, it is a package maintainer
decision.  mp-tool.mp* is part of ConTeXt.  So you know who you have to
convince :).


More information about the tex-live mailing list