fontinst catcodes

[Thierry Bouche]

» >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.