Norbert Preining <[EMAIL PROTECTED]> wrote: > +# > +# remove left over fmt/efmt/log files in /usr/share/texmf/web2c/ > +# > + if [ -d /usr/share/texmf/web2c ] ; then > + rm -rf /usr/share/texmf/web2c/*.fmt > + rm -rf /usr/share/texmf/web2c/*.efmt > + rm -rf /usr/share/texmf/web2c/*.base > + rm -rf /usr/share/texmf/web2c/*.log > + fi > +
We should probably rename fmtutil.cnf and updmap.cfg, too, if they are there. Or maybe cat > $newname <<EOF some informative message EOF cat $oldname >> $newname rm $oldname Regards, Frank -- Frank Küster Inst. f. Biochemie der Univ. Zürich Debian Developer