Re: Does anybody know how to edit web2c change files?
On Thu, Mar 23, 2006 at 08:45:17AM +0100, Frank K?ster wrote:
> Julian Gilbey <jdg@polya.uklinux.net> wrote:
>
> > 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.
>
> Strange - I tried and got funny results, e.g. after changing
>
> #define BANNER "This is pdfeTeX, Version 3.141592-PDFTEX-VERSION-ETEX-VERSION"
>
> to
>
> #define BANNER "This is not pdfeTeX, Version 3.141592-PDFTEX-VERSION-ETEX-VERSION"
>
> it printed "not pdfeTeX..." instead of "This is pdfeTeX..."
Oh, you're right; I hadn't spotted that error. Weird.
Julian
Reply to: