Hilmar Preusse <[EMAIL PROTECTED]> wrote: >> > I guess a much better idea is to use the interface provide by fmtutil > if you need additional formats. In the "Debian TeX policy" (from > tex-common) we mention that. In the Version as of 18th of July it is > not written clearly how to use it. This needs work, if not done yet. > I'll have a look at that.
I'm not sure that fmtutil is the method of choice here - remember that whizzytex users dump a format for each file they edit. In fact it should be doable - by providing a one-line-fmtutil.cnf for the current file. But it's probably simpler to do it with --ini, although doing it right is still a bit more complicated than the current setup in whizzytex. Regards, Frank -- Frank Küster Inst. f. Biochemie der Univ. Zürich Debian Developer
