[pdftex] Add option -synctex to pdftex(1)

[Karl Berry]

    not sure if this is the correct mailing list.

It's fine.

    Subject: [pdftex] Add option -synctex to pdftex(1)

Sure, why not. Thanks. -k