]> Savannah Git Hosting - gnulib.git/commit
gnulib-tool.py: Refactor --makefile-name option.
authorBruno Haible <bruno@clisp.org>
Fri, 5 Aug 2022 23:47:34 +0000 (01:47 +0200)
committerBruno Haible <bruno@clisp.org>
Fri, 5 Aug 2022 23:51:59 +0000 (01:51 +0200)
commit0108a901f10bf6ed6198e565c35b091c3fe6e218
tree949ff9cee1fdc193853d423cd007dd5bf7090731
parent13af1a0d8a0bb1028bd4a1276c8da2d68db78367
gnulib-tool.py: Refactor --makefile-name option.

* gnulib-tool.py (main): Handle option --makefile-name like all other
string-valued options.
ChangeLog
gnulib-tool.py