Re: (Fwd) Duplicate files?

[Thomas Esser]

> places, I can see where you may want that, but that there might be a 
> difference between the two versions making it important which one was 

>From time to time (esp. before releases), I make a backup copy of the
texmf tree and do a "make install" from the sources tree. Then, I check
all differences of the two texmf trees and make sure that the files
common in src / texmf are the same.

Thomas