Efraim, (A detail:)
Efraim Flashner schreef op 2016-11-10 18:22:
"DESTDIR=\"\"")
Are those quotes needed to work around some silliness in the Makefile? Otherwise, "DESTDIR=" should work just as well and is easier on the eyes. Kind regards, T G-R
