peb at mppmu.mpg.de
Thu Sep 4 10:15:02 CEST 2008
On Thu, 4 Sep 2008, Reinhard Kotucha wrote:
> Does it work if you change the symlink to point to
that would certainly make it a good symlink, but what precisely do you mean
with: "Does it work"?
At the moment this was just a test-install, preparing for a TeX upgrade on
all our (>80) linux systems.
More information about the tex-k