An extra export function that is useful while converting, sometimes
[mplib] / src / texk / etc / depend.mak