about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-02-12T10·50+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-02-12T10·50+0000
commit3b3e1025c3d94dacb4c19c89f02e6a8684f93e58 (patch)
tree7318ddca5036bb63e110ad11d5b7d9f6b0b876ab
parent20186a40791f662696857720d414dd7cd2ace8a2 (diff)
* Typo. Reported by Peter Koppstein.
-rw-r--r--doc/manual/installation.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/installation.xml b/doc/manual/installation.xml
index 4f4d7acd7bb7..a1b99ca2e812 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>