Apply 1 suggestion(s) to 1 file(s)

diff --git a/doc/devel/cross-compile.dox b/doc/devel/cross-compile.dox
index 4244ba4d1319d6d92e0150b51a5c3e765bef1931..4df5865cd8dc1dc862f2b3d44ffe780821933cff 100644 (file)
--- a/doc/devel/cross-compile.dox
+++ b/doc/devel/cross-compile.dox
@@ -31,7 +31,7 @@ we recommend a pre-built dedicated tool chain for this purpose:
 The documentation of this tool chain gives a rsync command which
 copies selected parts of the Raspberry Pi root filesystem ("rootfs").
 If you have no access to a running Raspberry Pi it is still possible
-to get them following next section instructions. If you have simply
+to get them following next section instructions. If you have, simply
 skip this part.
 
 @section noRaspberry How to get system and packages without a running Raspberry Pi