by Finally I realized why dvips and xdvi frequently call MakeTeXPK to
generate the same font. In Redhat (may be other Linux distributions
too) there's the following cron job:
pentini:103> cat /etc/cron.daily/tetex.cron
#!/bin/bash
# Remove and TeX fonts not used in 10 days
/usr/sbin/tmpwatch 240 /var/lib/texmf/fonts /var/lib/texmf/texfonts
exit 0
For small sites such as non-networked personal computers,
a 10 day life is too short...
--
.--------------------------------------------------------------------------
`--------------------------------------------------------------------------