Am 16.07.2017 um 19:51 schrieb Riccardo (Jack) Lucchetti:
On Sun, 16 Jul 2017, Artur Tarassow wrote:
> Dear all,
>
> for some reason I am not able to compile gretl using git anymore. As
> always, I run the following commands on my ubuntu 17.04 desktop:
>
> <terminal>
> cd git && cd gretl-git && git pull && ./configure
--enable-build-doc
> /terminal>
>
Probably, you just have a few stale Makefiles here and there; "make
clean" should fix it.
-------------------------------------------------------
Riccardo (Jack) Lucchetti
Thank you, Jack, you made my day! Totally forgot about the "make clean"
command :-/
Best,
Artur