[pdftex] Patch for better performance of map file reading

[Sebastian Rahtz]

>     > Hello, in the mailing list TEX-D-L someone has compared old
>     > teTeX with TeX Live 7, 10 runs: 7s vs. 48s.  The main reason is
>     > the increased map file: 800 vs 3000 lines
> 
> Does Texlive provide so many fonts?

3844, in my version as of today. a lot of that is cm-super, of
course .

-- 
Sebastian Rahtz      OUCS Information Manager
13 Banbury Road, Oxford OX2 6NN. Phone +44 1865 283431