[Gretl-devel] Re: problem with "make pdfdocs" on git

I'm encountering the following problem (after doing make clean, configure, and make successfully) with "make pdfdocs". This is on current git, or actually, the file doc/tex/pkgbook.tex is also changed here and not yet pushed, but it doesn't look as if that's the problem. I'm using Linux on a virtual machine running under Windows here, if that matters. make[1]: Entering directory '/ ... /gretl-git/doc' make -C tex make[2]: Entering directory '/ ... /gretl-git/doc/tex' make[2]: stat: ../../doc/tex/persistent.tex: Too many levels of symbolic links make[2]: *** No rule to make target '../../doc/tex/persistent.tex',