[tex-live] texlinks patch - unlink option

Karl Berry karl at freefriends.org
Thu Oct 11 00:39:19 CEST 2007


    a) Is the code correct? 

Looks ok to me (didn't actually try it yet).

    b) Can this go upstream? 

I don't see why not.

I'll let you know when I've installed the change.

karl




More information about the tex-live mailing list