updmap.cfg(5) on Linux

The text a59c6d56dcae, as Debian 7 (Wheezy) shipped it.

configuration of font mapping/inclusion for dvips and friends.

updmap.cfg(5) on Linux now