[pdftex] upgrading pdftex..

[Thomas Esser]

> +       test -f texk/web2c/pdftex && ls -l texk/web2c/pdftex{,.pool}
> +
> +pdfetex:
> +       cd texk/web2c; $(MAKE) pdfetex
> +       test -f texk/web2c/pdfetex && ls -l texk/web2c/pdfetex{,.pool}

Brace expansion is not a feature of the standard bourne shell, so this
is not portable. It works on systems where /bin/sh is a bash (i.e. on
most Linux systems).

Thomas