Subject: [pdftex] Add option -synctex to pdftex(1) I applied this patch (and made some other updates at the same time). TL r51815. Thanks. -k