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

[Norbert Preining]

Hi Karl!

There are some pool files in texmf/web2c which are:
- never created in the compile process
- are installed
- are not related to any binary AFAIS

These are:
	pdfetex-pl.pool
	tex-pl.pool
	pdfetex.pool
(wiht pdfetex.pool I am not sure whether we need it for the link...)

But the two -pl files are really strange to my eyes.

I suggest:
- removing the stuff
- removing pdfetex-pl.pool from the texmf/tpm/bin-pdftex.tpm (2 times,
  one time in the pattern, one time in the runfiles)
- removing tex-pl.pool from the texmf/tpm/bin-tex.tpm (2 times,
  one time in the pattern, one time in the runfiles)

I can do this ... but I need the ok from one of the -pl gurus and/or
Karl.

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
-------------------------------------------------------------------------------
LAMLASH (n.)
The folder on hotel dressing-tables full of astoundingly dull
information.
			--- Douglas Adams, The Meaning of Liff