e20f35e - Fix problems in make_fonts_map script (bug #142299). Patch from

Authored and Committed by twaugh 19 years ago
    - Fix problems in make_fonts_map script (bug #142299). Patch from
    - Michal Jaegermann.
    
        
file modified
+10 -1