From e90058a81ef0912ad987f84cbaa2751b5a3a390e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Carsten=20Gr=C3=A4ser?= <graeser@mi.fu-berlin.de>
Date: Fri, 16 Sep 2016 10:58:51 +0000
Subject: [PATCH] [doc] We no longer use autotools

---
 INSTALL | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/INSTALL b/INSTALL
index a01c340c1..37bed30f7 100644
--- a/INSTALL
+++ b/INSTALL
@@ -14,8 +14,8 @@ list of available modules.
 
 To compile the modules Dune has to check several components of
 your system and whether prerequisites within the modules are met. For
-the ease of users we have designed a custom build system on top of the
-automake tools. Run
+the ease of users we have designed a custom build system on top of CMake.
+Run
 
   ./dune-common/bin/dunecontrol all
 
-- 
GitLab