Does anybody know how to edit web2c change files?

[Frank Küster <frank@debian.org>]

Hi,

as requested by Martin Schröder, the pdfTeX maintainer, I'd like to add
something about libpoppler to the "pdeftex --version" output or the
general banner, but I don't manage.  According to him, it should be
sufficient to change texk/web2c/pdfetexdir/pdfetexextra.in, but that
doesn't have any effect here - probably we have such an ancient version
(1.20 instead of 1.40 in which he is thinking...).

I fear we need to change one of the change files, but I don't know how
to do this - I always get errors that the files don't match.

Does anybody know how to do it?

TIA, Frank
-- 
Frank Küster
Single Molecule Spectroscopy, Protein Folding @ Inst. f. Biochemie, Univ. Zürich
Debian Developer (teTeX)