fontinst catcodes

Thierry Bouche
Mon, 19 Jun 2000 02:23:13 -0400

 >Well, that is what the fontinst.rc is designed for, no?
 Not quite. The example Karsten gave was of things which you probably want
 to adjust specially for every font family, whereas the fontinst.rc file is
 more for things you change much less frequently.

depends whether you consider fontinst.rc as a global patch file, or as
a local configuration file: my way of using it is  to have a global
one only if needed, and one in the working directory for specific
works (like pdftex.cfg or hyperref.cfg, e.g.). I agree though that
this yields sometimes surprises...

Thierry Bouche, Grenoble.