pdftexinfo cleanup

Hi!

the pdftexinfo format was removed long time ago since the official
texinfo.tex includes support for pdftex-related features. a few files
in the tetex distribution still need minor cleanup:

tetex-src-beta tarball:
  texk/web2c/pdftexdir/pdftex.mak
  texk/web2c/pdftexdir/pdftex.mk
  texk/kpathsea/texmf.in

tetex-texmf-beta tarball:
  doc/pdftex/base/pdftex-t.tex

* in pdftex.mak, the following lines should be removed:

#
# pdftexinfo.fmt: $(pdftex)
#       $(dumpenv) $(make) progname=pdftexinfo files="pdftexinfo.ini" prereq-check
#       $(dumpenv) .\$(objdir)\pdftex --progname=pdftexinfo --ini pdftexinfo.ini <nul

* in pdftex.mk, the following lines should be removed:

pdftexinfo.fmt: pdftex
        $(dumpenv) $(MAKE) progname=pdftexinfo files="pdftexinfo.ini" prereq-check
        $(dumpenv) ./pdftex --progname=pdftexinfo --ini pdftexinfo.ini </dev/null

* in texmf.in, the following line should be removed:

TEXINPUTS.pdftexinfo = .;$TEXMF/tex/{texinfo,plain,generic,}//

* in pdftex-t.tex, the following paragraph:

\item  Hypertexted \PDF\ from \type {texinfo} documents can be created with
       \filename {pdftexinfo.tex}, which is a slight modification of the
       standard \type {texinfo} macros. This file is part of the \PDFTEX\
       distribution.

should be changed to something like:

\item  Hypertexted \PDF\ from \type {texinfo} documents can be created with
       standard \filename {texinfo.tex}.

Best,
v.