mirror of
https://https.git.savannah.gnu.org/git/gnulib.git
synced 2026-09-01 11:16:02 +00:00
Rename ~~gnulib.m4 to zzgnulib.m4.
Suggested by Paul Eggert. * m4/zzgnulib.m4: Renamed from m4/~~gnulib.m4. * gnulib-tool (func_get_filelist): Update. * pygnulib/GLModuleSystem.py (getFiles): Likewise.
This commit is contained in:
@@ -544,7 +544,7 @@ Include:|Link:|License:|Maintainer:)'
|
||||
parts += [line]
|
||||
result = [part.strip() for part in parts if part.strip()]
|
||||
result += [joinpath('m4', '00gnulib.m4')]
|
||||
result += [joinpath('m4', '~~gnulib.m4')]
|
||||
result += [joinpath('m4', 'zzgnulib.m4')]
|
||||
result += [joinpath('m4', 'gnulib-common.m4')]
|
||||
self.cache['files'] = list(result)
|
||||
return(list(self.cache['files']))
|
||||
|
||||
Reference in New Issue
Block a user