manual: fix typo in the introduction

diff --git a/ChangeLog b/ChangeLog
index e1f0b5f8f11497e5cce8d221c125c76731afaf4b..49f49b5ac7d47941eb4dc3b8df58a3e0a10684b4 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2016-05-19  Rical Jasan  <ricaljasan@pacific.net>
+
+       * manual/intro.texi: Fix duplicated typo.
+
 2016-05-19  Joseph Myers  <joseph@codesourcery.com>
 
        [BZ #13304]

diff --git a/manual/intro.texi b/manual/intro.texi
index d4045f2e06dfdbb8c807e747c485e997028b734d..cc9c99f54320fb2ad74955e89bf3a21503c73370 100644 (file)
--- a/manual/intro.texi
+++ b/manual/intro.texi
@@ -884,7 +884,7 @@ context.
 
 Some safety annotations may be conditional, in that they only apply if a
 boolean expression involving arguments, global variables or even the
-underlying kernel evaluates evaluates to true.  Such conditions as
+underlying kernel evaluates to true.  Such conditions as
 @code{/hurd} or @code{/!linux!bsd} indicate the preceding marker only
 applies when the underlying kernel is the HURD, or when it is neither
 Linux nor a BSD kernel, respectively.  @code{/!ps} and