diff options
author | Bruno Haible <bruno@clisp.org> | 2020-01-18 23:05:36 +0100 |
---|---|---|
committer | Bruno Haible <bruno@clisp.org> | 2020-01-18 23:05:36 +0100 |
commit | 38b9f0600d698d2b24014f83abad97c9e76e2b87 (patch) | |
tree | 79a675844b1d289d3e95fbd5e50bd8ee22c801e7 /pygnulib/GLModuleSystem.py | |
parent | 7f5da041d3031c71d19da9947f95370ba5211255 (diff) | |
download | gnulib-38b9f0600d698d2b24014f83abad97c9e76e2b87.tar.gz |
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.
Diffstat (limited to 'pygnulib/GLModuleSystem.py')
-rw-r--r-- | pygnulib/GLModuleSystem.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pygnulib/GLModuleSystem.py b/pygnulib/GLModuleSystem.py index 72a6c9f964..73c207d995 100644 --- a/pygnulib/GLModuleSystem.py +++ b/pygnulib/GLModuleSystem.py @@ -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'])) |