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 newro
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