]> Savannah Git Hosting - gnulib.git/commit
gnulib-tool: Make the .gitignore files handling more consistent.
authorBruno Haible <bruno@clisp.org>
Thu, 21 Mar 2024 14:45:42 +0000 (15:45 +0100)
committerBruno Haible <bruno@clisp.org>
Thu, 21 Mar 2024 14:45:42 +0000 (15:45 +0100)
commit74f000c7d9d3cea55b6ad3131cf9e36076b08289
treecc1bdc3bb75b339e9da81c795cb1b1d3a88aa499
parent52e24741eceb68db4eafa6be7978cff8a75fb8df
gnulib-tool: Make the .gitignore files handling more consistent.

* gnulib-tool.sh (func_done_dir): Ignore the presence or absence of a
.git directory if there is a .gitignore file in the same place.
* pygnulib/GLImport.py (GLImport._done_dir_): Likewise.
ChangeLog
gnulib-tool.sh
pygnulib/GLImport.py