On 07/24/2018 04:08 PM, Eric Blake wrote: > On 07/19/2018 12:22 PM, Bernhard Voelker wrote: >> On 06/25/2018 06:48 PM, Pádraig Brady wrote: >>> `make gnulib-sync` would definitely be worth doing. >> >> Done in the attached. WDYT? > > Can we move this to gnulib's maint.mk for sharing with other projects?
Ideally yes - the problem is that the list of files to sync from gnulib may be different for each project, and even the basenames of some file sometimes do not match: > + && cp -v gnulib/doc/COPYINGv3 COPYING \ Any idea how to work around that? Thanks & have a nice day, Berny
