[pdftex] /pdfinfo {/Producer (foo)} not working

[Heiko Oberdiek]

At 22:42 13.02.2001 +0100, Martin Schröder wrote:
>On 2001-01-03 14:07:43 +0100, Martin Schröder wrote:
>> /pdfinfo is ignored. Am I doing something wrong?
>
>Well?

It seems that the pdfinfo part is introduced _after_
the default entry of pdfTeX, so that the resulting
pdf file will contain
  \pdfinfo{/Producer(foo)/Creator(bar)}
==>
  /Producer (pdfTeX-0.14g)
  /Producer(foo)/Creator(bar)
  /Creator (TeX)

AR seems to use the first entry, so that "foo"
is hided.

Workaround:
  Postprocess the file and replace the slash
  of the first /Producer entry with a percent
  character:
    %Producer (pdfTeX-0.14g)
    /Producer(...)

Yours sincerely
  Heiko <oberdiek at ruf.uni-freiburg.de>