/fonts/txfonts/dvips/