diff options
Diffstat (limited to 'manual/message.texi')
| -rw-r--r-- | manual/message.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/message.texi b/manual/message.texi index e772b2de1f..e44545a311 100644 --- a/manual/message.texi +++ b/manual/message.texi @@ -1466,7 +1466,7 @@ have this problem. But there is a very simple and powerful method to handle these kind of problems with the @code{gettext} functions. @noindent -As as example consider the following fictional situation. A GUI program +As an example consider the following fictional situation. A GUI program has a menu bar with the following entries: @smallexample |