Re: compilation question

If you build pdftex in TL using the Build-one-package method, the
executable will (by default) end up in
../Build/Work/texk/web2c/pdftex. Source directory != build directory.

The documentation is correct (as far as I know). The point of confusion
seems to be that there are two repositories for pdftex, the TL
repository and the separate pdftex repository; the latter is the one
with build-pdftex.sh and the "cut-down TL tree". It's linked to from
pdftex.org. --best, karl.