On Sun, 10 Nov 2019, Allin Cottrell wrote:
On Sun, 10 Nov 2019, Sven Schreiber wrote:
> * I'm repeating my open question whether ..../gbuild/gretl needs to be
> created manually before the whole process.
Yes, there's nothing in the scripts to create that. I should make that clear
in the PDF.
Maybe better: I've amended pkgconf.sh so that it ensures the
"PREFIX" directory gets created.
Allin