]> Savannah Git Hosting - gnulib.git/commit
gnulib-tool.py: Finish implementing option --po-domain.
authorBruno Haible <bruno@clisp.org>
Sat, 6 Aug 2022 01:06:51 +0000 (03:06 +0200)
committerBruno Haible <bruno@clisp.org>
Sat, 6 Aug 2022 01:06:51 +0000 (03:06 +0200)
commitb5850cf209fc597150fb196067674c8c41857316
treec95910ff4d5bacddca77cc8f4432810c9c2d4a7f
parentbfc5329c890031833022bc78b5f0e793a53f5be6
gnulib-tool.py: Finish implementing option --po-domain.

* gnulib-tool.py (main): Accept option --po-domain.
* pygnulib/GLEmiter.py (GLEmiter.po_POTFILES_in): Fix variable
reference.
* pygnulib/GLImport.py (GLImport.execute): Don't delete Makefile.in.in
from the gnulib directory. Don't require a shell when invoking wget.
After invoking wget, restore the current directory.
ChangeLog
gnulib-tool.py
gnulib-tool.py.TODO
pygnulib/GLEmiter.py
pygnulib/GLImport.py