diff --git a/user-doc/Installation.txt b/user-doc/Installation.txt
index 883c8c0fb61962fb0a2a2763079265f355f01685..da5a75ccda03b5575ee9efadc37d4c191013fa73 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.