2 Jun
2005
2 Jun
'05
1:55 a.m.
Hans Hagen wrote:
Hi,
Tonight I had to generate linux binaries (due to serious bug in the pdftex 1.21 that runs on the server; btw, generating 64 bits version fails somehow) and afterwards i had to merge the new files into my trees
so .. i extendedtextools
textools --merge oldroot newroot (trial run, add --force to really do it)
like in
textools --merge /tmp/tetex /data/tex/texmf-linux --force
only newer files will be merged and some checking is done
Nice, thanks! Taco