From 0263c8261416ce27e1908c1e675c2e45614f31bc Mon Sep 17 00:00:00 2001 From: Klaus Schmidinger Date: Sat, 22 Dec 2012 12:08:31 +0100 Subject: Plugin Makefiles now use DESTDIR and the 'install' program --- CONTRIBUTORS | 1 + 1 file changed, 1 insertion(+) (limited to 'CONTRIBUTORS') diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 8e3469c0..e771aa61 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -2812,6 +2812,7 @@ Christopher Reimer for suggesting to remove some redundancy in the Makefile/Make.global/Make.config mechanism for suggesting to give the plugin Makefiles a separate 'install' target + for making plugin Makefiles use DESTDIR and the 'install' program Stefan Huskamp for suggesting to make entering characters via the number keys -- cgit v1.2.3