Hi Collin,
> I think that it would be best to just shove all the Python mess in
> that subdirectory since it is a work-in-progress and is safe to be
> ignored by gnulib users.
I tend to agree. Even after it is finished, it will still be useful
to have all Python sources in one directory: it makes it easy to do
a "grep something *.py".
Done:
2024-02-26 Bruno Haible <br...@clisp.org>
gnulib-tool.py: Reorganize code.
* pygnulib/main.py: New file, moved here from gnulib-tool.py.
* pygnulib/constants.py: Change the way APP['name'] and DIRS['root'] are
computed.
* gnulib-tool.py: New file, based on gnulib-tool.
(The patch is best viewed using gitk.)
You can now submit the two configuration files in the pygnulib/ directory.
That's the proper place, not the root directory of gnulib.
Bruno
