Bug#354604: [tex-live] [patch] fmtutil and formats that preload other formats

[Thomas Esser <te@dbs.uni-hannover.de>]

>     fmtutil sets and exports TEXINPUTS="$tmpdir:$TEXINPUTS", but that is not
>     sufficient.  One has to set TEXFORMATS, too.  I therefore suggest the
>     following patch, based on teTeX-3.0's version:
> 
> I don't see why not.  Thomas?

Sure, good patch. Thanks, Frank.

Thomas