SCRIPTS="MakeTeXmkdir MakeTeXnames MakeTeXMF MakeTeXPK MakeTeXTFM allcm allneeded append_db dvi2fax dvihp dvired fontexport fontimport mkindex texconfig texhash texi2dvi mkfontdesc ps2frag xdvi troffmpx makempx makeindex pslatex"

for i in $SCRIPTS; do cp -auv `kpsexpand '$TETEXDIR'`/bin/i386-linux/$i .; done
