diff options
| -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 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> |