From 786246a1d66b281f419c62f21bdd49c11d9dec99 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Fri, 14 Dec 2012 13:39:22 +0100
Subject: [PATCH] Use cat+here document, instead of non-portable echo -e.

---
 configure | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/configure b/configure
index cfebdab14b..ca32ca49eb 100755
--- a/configure
+++ b/configure
@@ -1,7 +1,11 @@
-#! /bin/bash
+#! /bin/sh
 
-echo "THIS COMMAND IS NOT AVAILABLE!"
-echo "Since v3.4 we use cmake. Now use:"
-echo -e "\tcmake -DCMAKE_INSTALL_PREFIX=<where_you_want> .\n\tmake\n\tmake install"
+cat <<EOT
+THIS COMMAND IS NOT AVAILABLE!
+Since v3.4 we use cmake. Now use:
+        cmake -DCMAKE_INSTALL_PREFIX=<where_you_want> .
+        make
+        make install
+EOT
 
-exit 1
\ No newline at end of file
+exit 1
-- 
2.20.1