[Gretl-devel] Re: problem with "make pdfdocs" on git
On Sun, 21 Nov 2021, Sven Schreiber wrote:
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.
If you had to use "git restore" that suggests that you're doing your
build inside the git source tree. That's not recommended, though
it's not actually banned yet. Better to build outside the source
tree.
Allin