8 Jun
2017
8 Jun
'17
8:17 a.m.
On Thu, Jun 8, 2017 at 9:52 AM, Mikael P. Sundqvist
PS: the ./build.sh (Checked out revision 6287) runs for a while, and then stops with an error like this (it is probably my fault):
Makefile:368: recipe for target '../../../../source/texk/kpathsea/doc/kpathsea.info' failed make[2]: *** [../../../../source/texk/kpathsea/doc/kpathsea.info] Error 127
weird, the file is there. Just to be sure, which repo are you using ? -- luigi