diff options
author | lurchi <lurchi@strangeplace.net> | 2019-06-27 01:35:07 +0200 |
---|---|---|
committer | lurchi <lurchi@strangeplace.net> | 2019-06-27 01:35:07 +0200 |
commit | 763d23451af577c3693c234f28c0dd2df024b40d (patch) | |
tree | 8250f3423142f466d6e27fc7940fce8be60e86ba | |
parent | 74c4448579649873961070079ebe80da2a2990e7 (diff) |
fix typo
-rw-r--r-- | doc/handbook/chapters/installation.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/handbook/chapters/installation.texi b/doc/handbook/chapters/installation.texi index 1bbc51dbd..e046336d0 100644 --- a/doc/handbook/chapters/installation.texi +++ b/doc/handbook/chapters/installation.texi @@ -344,7 +344,7 @@ steps for recovery --- for this, please study the instructions provided in the developer handbook as well as the system-specific instruction in the source code repository. Please note that the system specific instructions are not provided -as part of this handbook!. +as part of this handbook! @menu |