Lo all; Trying to build an installable v4.16.18-rt10 on a rock64 (arm64), but make pdfdocs eventually bails out, with this error stanza: copying TeX support files... done build succeeded, 3 warnings. make PDFLATEX=xelatex LATEXOPTS="-interaction=batchmode" -C Documentation/output/./latex || exit; xelatex -interaction=batchmode 'dev-tools.tex' This is XeTeX, Version 3.14159265-2.6-0.99996 (TeX Live 2016/Debian) (preloaded format=xelatex) restricted \write18 enabled. entering extended mode Makefile:66: recipe for target 'dev-tools.pdf' failed make[2]: *** [dev-tools.pdf] Error 1 Documentation/Makefile:85: recipe for target 'pdfdocs' failed make[1]: *** [pdfdocs] Error 2 Makefile:1523: recipe for target 'pdfdocs' failed make: *** [pdfdocs] Error 2 I do get a fair pile of .pdf's: gene@rock64:/media/slash/v4.16.18-rt10/Documentation/output$ ls latex/*.pdf|wc -l 43 but obviously its not everything. kind of a dummy at this, and it doesn't seem to point at a missing build tool, so whats next? Thanks all; -- Cheers, Gene Heskett -- "There are four boxes to be used in defense of liberty: soap, ballot, jury, and ammo. Please use in that order." -Ed Howdershelt (Author) Genes Web page <http://geneslinuxbox.net:6309/gene>