From: Michael Gernoth Date: Mon, 4 Feb 2008 10:54:43 +0000 (+0100) Subject: DESTDIR support for Makefile X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/micropolis/commitdiff_plain/7fe1e6c047b4fcd8ca51a23e99daf0db824a2da4?hp=7fe1e6c047b4fcd8ca51a23e99daf0db824a2da4 DESTDIR support for Makefile ---