Re: Does anybody know how to edit web2c change files?
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..."
Regards, Frank
--
Frank Küster
Single Molecule Spectroscopy, Protein Folding @ Inst. f. Biochemie, Univ. Zürich
Debian Developer (teTeX)
Reply to: