Am 11.11.2019 um 00:03 schrieb Allin Cottrell:
Maybe better: I've amended pkgconf.sh so that it ensures the "PREFIX" directory gets created.
Thanks. Would it be an option to put these shell scripts into git, too? It's not totally clear to me why install-runtime-gtk3.sh.in is in git but things like pkgconf.sh aren't. thanks sven _______________________________________________ Gretl-devel mailing list -- gretl-devel@gretlml.univpm.it To unsubscribe send an email to gretl-devel-le...@gretlml.univpm.it Website: https://gretlml.univpm.it/postorius/lists/gretl-devel.gretlml.univpm.it/