Bug#263410: old generated files and remove-oldmaps (was: Bug#263410: several issues)
Hilmar Preusse <hille42@web.de> wrote:
> 3. The files generated by updmap are now sitting in /var, but the old
> generated files are still in /etc/texmf/dvips. I guess you want to
> leave it to the end user to run remove-oldmaps and get rid of them.
Yes, this was my intention. However, since local modifications would not
have been preserved anyway, we can as well remove those files, I guess.
Regards, Frank
--
Frank Küster, Biozentrum der Univ. Basel
Abt. Biophysikalische Chemie
Reply to: