doc: Fix typo.

Reported by Arun Isaac <arunisaac@systemreboot.net> in
<https://lists.gnu.org/archive/html/bug-gettext/2020-07/msg00001.html>.

* gettext-tools/doc/gettext.texi (Prioritizing messages): Fix a typo.

diff --git a/gettext-tools/doc/gettext.texi b/gettext-tools/doc/gettext.texi
index f09938d358b9178deaab7ba2cf7201115300678b..2937f009ce307d6d966338c21f4d5a0facbdc99b 100644 (file)
--- a/gettext-tools/doc/gettext.texi
+++ b/gettext-tools/doc/gettext.texi
@@ -7618,7 +7618,7 @@ In a second step, she uses the PO mode to translate precisely this set
 of messages.
 
 @vindex GETTEXT_LOG_UNTRANSLATED@r{, environment variable}
-Here a more details.  The GNU @code{libintl} library (but not the
+Here are more details.  The GNU @code{libintl} library (but not the
 corresponding functions in GNU @code{libc}) supports an environment variable
 @code{GETTEXT_LOG_UNTRANSLATED}.  The GNU @code{libintl} library will
 log into this file the messages for which @code{gettext()} and related