[tex-live] strange tex-pl.pool, pdfetex-pl.pool, pdfetex.pool files are getting installed

[Norbert Preining]

Hi Staszek!

On Die, 23 Jan 2007, Staszek Wawrykiewicz wrote:
> > These are:
> > 	pdfetex-pl.pool
> > 	tex-pl.pool
> > 	pdfetex.pool
> > (wiht pdfetex.pool I am not sure whether we need it for the link...)
> 
> We don't need that as it is very old .pool file, not compatible with
> the current pdftex.

Ok, I assume you are talking about the -pl.pool files, not about the
pdfetex.pool file.

> Please do all that. One thing more to consider: we can also
> remove in texmf/web2c/fmtutil.cnf all those lines concerning
> "experimental" -pl formats. They do not hurt so much, but for a sake...

Yes, I will do this, too.

Best wishes

Norbert

-------------------------------------------------------------------------------
Dr. Norbert Preining <preining at logic.at>                    Università di Siena
Debian Developer <preining at debian.org>                         Debian TeX Group
gpg DSA: 0x09C5B094      fp: 14DF 2E6C 0307 BE6D AD76  A9C0 D2BF 4AA3 09C5 B094
-------------------------------------------------------------------------------
ABINGER (n.)
One who washes up everything except the frying pan, the cheese grater
and the saucepan which the chocolate sauce has been made in.
			--- Douglas Adams, The Meaning of Liff