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
_______________________________________________
ntg-context mailing list
ntg-context@ntg.nl
http://www.ntg.nl/mailman/listinfo/ntg-context

Reply via email to