Riccardo Murri <murri_at_dmmm.uniroma1.it> add DESTDIR option
diff --git a/Makefile b/Makefile
index a0300fc..2f4fec0 100644
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,7 @@
PROGVERSION:=2.0.5
PROGDATE:=July\ 2003
-MANDIR?=/usr/local/man
+MANDIR?=$(DESTDIR)/usr/local/man
CFLAGS:=-Wall -Wunused
CC:=gcc
@@ -18,10 +18,10 @@
KERNEL_INCLUDES?=include/
-ETHERTYPESPATH?=/etc
+ETHERTYPESPATH?=$(DESTDIR)/etc
ETHERTYPESFILE:=$(ETHERTYPESPATH)/ethertypes
-BINPATH?=/sbin/
+BINPATH?=$(DESTDIR)/sbin/
BINFILE:=$(BINPATH)ebtables
PROGSPECS:=-DPROGVERSION=\"$(PROGVERSION)\" \