On 7/4/24 20:17, Bruno Haible wrote:
PPS. Why do we have both gnulib-tool.py and .gnulib-tool.py? Is this commented in the source code?Yes, there is a large comment about it in .gnulib-tool.py.
OK, but that comment explains why .gnulib-tool.py is separate from the main body of the Python program. But why are there two shell scripts gnulib-tool and gnulib-tool.py? Can't the latter be folded into the former? That would be simpler and faster.
