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 <br...@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
