On Mon, 15 Jan 2018, Artur Tarassow wrote:
> On Sun, 14 Jan 2018, Allin Cottrell wrote:
>
>> Again, some previously installed files are now redundant and should be
>> deleted:
>>
>> $prefix/share/gretl/scripts/ps*.inp
>> $prefix/share/gretl/scripts/greene*.inp
>> $prefix/share/scripts/ps_descriptions
>> $prefix/share/scripts/wg_ps_descriptions
>
> Oops, the last two lines are wrong, should be:
>
> $prefix/share/gretl/scripts/ps_descriptions
> $prefix/share/gretl/scripts/wg_ps_descriptions
Here on Ubuntu 17.04 compiling without "make clean" yields a working gretl
version but the files you listed are not deleted.
Ah, ambiguous language on my part. I meant that the user should delete
those files, not that one can expect them to be deleted automatically.
However, the new "greene" and "ramanthan" folders
with all data
files were correctly created.
OK, good to hear.
Allin