[texdoc] texdoc pdftex

[Karl Berry]

Hi Manuel -- I suggest texdoc pdftex be special-cased to pdftex-a.pdf,
instead of bringing up the man page.

Best,
k