From 3b3e1025c3d94dacb4c19c89f02e6a8684f93e58 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Fri, 12 Feb 2010 10:50:30 +0000
Subject: [PATCH] * Typo.  Reported by Peter Koppstein.

---
 doc/manual/installation.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>