diff --git a/doc/manual/installation.xml b/doc/manual/installation.xml
index 4f4d7acd7b..a1b99ca2e8 100644
--- a/doc/manual/installation.xml
+++ b/doc/manual/installation.xml
@@ -126,7 +126,7 @@ $ make install</screen>
 preceded by the command:
 
 <screen>
-$ ./bootstrap</screen>
+$ ./bootstrap.sh</screen>
 
 </para>