Re: [PATCH] propername-lite: new module

[Bruno Haible]

Paul Eggert wrote:
> * pygnulib/GLEmiter.py (GLEmiter.po_Makevars):
> Treat proper_name_lite like proper_name_utf8.

The preferred implementation of gnulib-tool is still the shell script.
Therefore we need to do gnulib-tool changes to both implementations, in sync.
I'm therefore applying this:


2023-06-03  Bruno Haible  <bruno@clisp.org>

        gnulib-tool: Keep in sync with last change to gnulib-tool.py.
        * gnulib-tool (func_emit_po_Makevars): Treat proper_name_lite like
        proper_name_utf8.

diff --git a/gnulib-tool b/gnulib-tool
index 91461042cd..13e3ff2970 100755
--- a/gnulib-tool
+++ b/gnulib-tool
@@ -4046,6 +4046,7 @@ XGETTEXT_OPTIONS = \
   --keyword=_ --flag=_:1:pass-c-format \
   --keyword=N_ --flag=N_:1:pass-c-format \
   --keyword='proper_name:1,"This is a proper name. See the gettext manual, 
section Names."' \
+  --keyword='proper_name_lite:1,"This is a proper name. See the gettext 
manual, section Names."' \
   --keyword='proper_name_utf8:1,"This is a proper name. See the gettext 
manual, section Names."' \
   --flag=error:3:c-format --flag=error_at_line:5:c-format