[Gretl-devel] Re: problem with "make pdfdocs" on git
On Sun, Nov 21, 2021 at 9:01 AM Sven Schreiber <svetosch(a)gmx.net> wrote:
Am 21.11.2021 um 12:24 schrieb Riccardo (Jack) Lucchetti:
> On Sun, 21 Nov 2021, Sven Schreiber wrote:
>
>> Actually I had done that, and now I've done it again, and still getting
>> the same error. Will check on a native Linux machine with a "cleaner"
>> git state.
>
> "make pdfdocs" is working fine here. Are you on the master branch?
>
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).
Allin