<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Jun 11, 2018, at 4:14 PM, Karl Berry <<a href="mailto:karl@freefriends.org" class="">karl@freefriends.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">If you build pdftex in TL using the Build-one-package method, the<br class="">executable will (by default) end up in<br class="">../Build/Work/texk/web2c/pdftex. Source directory != build directory.<br class=""></div></div></blockquote><div><br class=""></div>Actually I found that this wasn’t the case. But by inspection of the build-pdflatex.sh script (found here: <a href="https://tug.org/svn/pdftex/branches/stable/source/build-pdftex.sh?view=markup" class="">https://tug.org/svn/pdftex/branches/stable/source/build-pdftex.sh?view=markup</a>) I discovered that I also need to run `make pdftex` in the Work/texk/web2c directory. I think that’s sorted things out, although now I’m stuck on actually performing the install.</div><div><br class=""><blockquote type="cite" class=""><div class=""><div class="">The documentation is correct (as far as I know). The point of confusion<br class="">seems to be that there are two repositories for pdftex, the TL<br class="">repository and the separate pdftex repository; the latter is the one<br class="">with build-pdftex.sh and the "cut-down TL tree". It's linked to from<br class=""><a href="http://pdftex.org" class="">pdftex.org</a>. --best, karl.<br class=""></div></div></blockquote></div><br class=""><div class="">Yes, that was an initial point of confusion. Although I’m not seeing this link… The “sources” link at the top is taking me to <a href="https://www.tug.org/texlive/Contents/live/source/" class="">https://www.tug.org/texlive/Contents/live/source/</a> which appears to be the source for TL 2017.</div><div class=""><br class=""></div><div class="">Best,</div><div class="">Samuel</div></body></html>