In-reply-to: Message from Nils Rennebarth <firstname.lastname@example.org> of "Fri, 18 Aug 1995 12:13:30 +0200." <Pine.SUN.3.91.950818120520.10049A-100000@cfgauss>
> Probably, no new format had been generated. Did you try to run
> make-texfmt (in /usr/lib/texmf/ini, should probably als go to
> /usr/sbin) to manually generate a new one?
That worked fine! Thank you very much, Nils.