On 17.12.09 Hilmar Preusse (hill...@web.de) wrote: Hi,
> So what you need is a functionality in mktexpk to determine if a > pk-file (to be read by xdvi) is older than the related mf source > file. I guess it is hard to implement, the only creteria would be > the time stamps of the source and the created files. Even if this > is checked your generated file could be younger than the source > file and it won't help you. I don't know if it is possible to > determine if a mf is the source of an existing pk file, I guess > not. > I guess an easy solution form the Debian side would be an Debian.NEWS/debconf reminder that all previously generated pk/mtf files should be deleted, as the sources *may* have changed, which can cause weird effects (see this ticket). In earliers times the generated files were below /var/cache and were deleted by a cron job (no clue why this was changed by upstream). H. -- sigmentation fault -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
