Hi to all pdftex users.
Running pdftex on a certain plain TeX file of mine, I get the following:
! pdfTeX warning (ext4): destination with the same identifier (name{,a}) has been already used, duplicate ignored
Is there a way to turn such message off? I don't much care about multiply
defined labels.
Thanks for any reply
Rodolfo