doc: Add information about lua-gettext package.

* gettext-tools/doc/gettext.texi (Lua): Describe from where to get the
lua-gettext package.

diff --git a/gettext-tools/doc/gettext.texi b/gettext-tools/doc/gettext.texi
index 910cc791b5144bc53f7333be8835ae796a939ea1..046214828efeed05f4ead9b2761e38b47bdb68c2 100644 (file)
--- a/gettext-tools/doc/gettext.texi
+++ b/gettext-tools/doc/gettext.texi
@@ -12032,6 +12032,12 @@ lua
 
 @item Ubuntu packages
 lua, lua-gettext
+@*
+You need to install the @code{lua-gettext} package from
+@url{https://gitlab.com/sukhichev/lua-gettext/blob/master/README.us.md}.
+Debian and Ubuntu packages of it are available.  Download the
+appropriate one, and install it through
+@samp{sudo dpkg -i lua-gettext_0.0_amd64.deb}.
 
 @item File extension
 @code{lua}