[Gretl-devel] Functex fatal error at -make- stage

Linux Mint 18.1, TeXLive 2016, R 3.4.0, I'm stumbling on a make error when building my install for gretl-: sudo apt-get install texlive-latex-extra texlive-fonts-recommended texlive-fonts-extra git # OK git clone git://git.code.sf.net/p/gretl/git gretl-git # OK cd gretl-git # OK sudo apt-get build-dep gretl # OK ./configure --prefix=/usr/local --enable-quiet-build --enable-openmp --enable-build-doc --disable-json # OK make -j3 # OK in general, but functex error first appears here make pdfdocs [...] ** Error: no phrase with key = 'chap:criteria' found.' ./xsltrans: input file 'ftex.xml'; err = 0 ./reflow: short input byte-count 536 Makefile:295: recipe for target 'functex' failed make[3]: *** [functex] Error 1 make[3]: Leaving directory '/home/clive/gretl-git/doc/commands' Makefile:230: recipe for target 'functex' failed make[2]: *** [functex] Error 2 make[2]: Leaving directory '/home/clive/gretl-git/doc/tex' Makefile:11: recipe for target 'tex' failed make[1]: *** [tex] Error 2 make[1]: Leaving directory '/home/clive/gretl-git/doc' Makefile:68: recipe for target 'pdfdocs' failed make: *** [pdfdocs] Error 2 I ran the call to -make pdfdocs- x 3, but it won't budge. Never quite had this problem before. I installed -gretl- successfully on Linux Mint 18 "Sarah" with exactly the same commands, but not now under "Serena". Not quite so serene for me, clearly! Yours with thanks, Clive Nicholas -- Clive Nicholas "My colleagues in the social sciences talk a great deal about methodology. I prefer to call it style." -- Freeman J. Dyson