1 files changed, 2 insertions, 19 deletions
diff --git a/src/devtools/Makefile b/src/devtools/Makefile
index e0a7386..ddfdb0f 100644
--- a/src/devtools/Makefile
+++ b/src/devtools/Makefile
@@ -1,27 +1,10 @@
-# Configuration
-DESTDIR=
-
-#prefix=/usr/local
-prefix=/usr
-exec_prefix=$(prefix)
-bindir=$(exec_prefix)/bin
-sbindir=$(exec_prefix)/sbin
-#libexecdir=$(exec_prefix)/libexec
-libexecdir=$(exec_prefix)/lib
-
-datarootdir=$(prefix)/share
-datadir=$(datarootdir)
-#sysconfdir=$(prefix)/etc
-sysconfdir=/etc
-
-docdir=$(datarootdir)/doc
+topdir = ../..
+include ../../config.mk
 
 ######################################################################
 
 pkglibexecdir=$(libexecdir)/libretools
 
-devtoolsdir=../../../devtools-par
-
 default: all
 all: build