diff options
author | Bruno Haible <bruno@clisp.org> | 2022-08-06 01:47:34 +0200 |
---|---|---|
committer | Bruno Haible <bruno@clisp.org> | 2022-08-06 01:51:59 +0200 |
commit | 0108a901f10bf6ed6198e565c35b091c3fe6e218 (patch) | |
tree | 949ff9cee1fdc193853d423cd007dd5bf7090731 /ChangeLog | |
parent | 13af1a0d8a0bb1028bd4a1276c8da2d68db78367 (diff) | |
download | gnulib-0108a901f10bf6ed6198e565c35b091c3fe6e218.tar.gz |
gnulib-tool.py: Refactor --makefile-name option.
* gnulib-tool.py (main): Handle option --makefile-name like all other
string-valued options.
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -1,5 +1,9 @@ 2022-08-05 Bruno Haible <bruno@clisp.org> + gnulib-tool.py: Refactor --makefile-name option. + * gnulib-tool.py (main): Handle option --makefile-name like all other + string-valued options. + gnulib-tool.py: Implement option --no-libtool. * gnulib-tool.py (main): Accept option --no-libtool. |