Re: Does anybody know how to edit web2c change files?
On Wed, Mar 22, 2006 at 03:51:35PM +0100, Frank K?ster wrote:
> 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...).
Just modifying the #define BANNER=... line in that file does it for
me.
Julian
Reply to: