[Gretl-devel] Re: problem with "make pdfdocs" on git
Am 21.11.2021 um 21:15 schrieb Cottrell, Allin:
On Sun, Nov 21, 2021 at 9:01 AM Sven Schreiber
<svetosch(a)gmx.net> wrote:
> This really seems to be a problem of the virtual machine context and/or
> the underlying file system.
Probably the underlying file system (lacking symlinks). It should work to blow
away doc/tex under your build tree and start over (with configure).
Indeed, a little bit to my surprise it worked to delete that and then do
"git restore doc/tex/*", followed by the configure script and so on.
thanks
sven