diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-02-12 10:50:30 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-02-12 10:50:30 +0000 |
| commit | 3b3e1025c3d94dacb4c19c89f02e6a8684f93e58 (patch) | |
| tree | 7318ddca5036bb63e110ad11d5b7d9f6b0b876ab | |
| parent | 20186a40791f662696857720d414dd7cd2ace8a2 (diff) | |
* Typo. Reported by Peter Koppstein.
| -rw-r--r-- | doc/manual/installation.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/installation.xml b/doc/manual/installation.xml index 4f4d7acd7..a1b99ca2e 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> |