diff --git a/tools/code-style/check-contiki-style b/tools/code-style/check-contiki-style
deleted file mode 100755
index 17096267c..000000000
--- a/tools/code-style/check-contiki-style
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/sh
-f=`basename $1`
-mkdir /tmp/$$
-cp $1 /tmp/$$/
-cp $1 /tmp/$$/$f.orig
-export INDENT_PROFILE=`dirname $0`/indent.pro
-indent /tmp/$$/$f
-diff /tmp/$$/$f.orig /tmp/$$/$f
-rm -rf /tmp/$$
diff --git a/tools/code-style/contiki-indent b/tools/code-style/contiki-indent
deleted file mode 100755
index 9bcd36a14..000000000
--- a/tools/code-style/contiki-indent
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/sh
-export INDENT_PROFILE=`dirname $0`/indent.pro
-indent $*
diff --git a/tools/code-style/indent.pro b/tools/code-style/indent.pro
deleted file mode 100644
index 6782de527..000000000
--- a/tools/code-style/indent.pro
+++ /dev/null
@@ -1,22 +0,0 @@
--bad
--br
--brs
--cdw
--ce
--hnl
--i2
--lp
--nbap
--nbbb
--ncdb
--ncs
--nfca
--nlps
--npcs
--nprs
--nsaf
--nsai
--nsaw
--nsc
--nut
--psl