On Saturday 18 August 2018 07:14:25 Gene Heskett wrote: Ping? > 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>
