From eb67dd88030702e86cfd93873e7513523ddcabc6 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Fri, 18 Oct 2013 11:02:01 +0200
Subject: [PATCH] Typo in manual

---
 user-doc/Installation.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user-doc/Installation.txt b/user-doc/Installation.txt
index 883c8c0fb..da5a75ccd 100644
--- a/user-doc/Installation.txt
+++ b/user-doc/Installation.txt
@@ -7,7 +7,7 @@
 PLUMED does not yet have any automatic configuration procedure and most of the 
 decisions should be taken by the user. As a first step configure with the command:
 \verbatim
-> ./configure
+> ./configure.sh
 \endverbatim
 
 You will have to choose among a set of available preconfigured files.
-- 
GitLab