96bb3f0 Rename fonts/map/dvips/mpfonts/mpfonts.map to oldmap, we do not want it added by updmap-sys

Authored and Committed by spot 2 years ago
1 file changed. 6 lines added. 1 lines removed.
    Rename fonts/map/dvips/mpfonts/mpfonts.map to oldmap, we do not want it added by updmap-sys
    
        
file modified
+6 -1