summaryrefslogtreecommitdiff
path: root/pygnulib/GLModuleSystem.py
diff options
context:
space:
mode:
authorBruno Haible <bruno@clisp.org>2020-01-18 23:05:36 +0100
committerBruno Haible <bruno@clisp.org>2020-01-18 23:05:36 +0100
commit38b9f0600d698d2b24014f83abad97c9e76e2b87 (patch)
tree79a675844b1d289d3e95fbd5e50bd8ee22c801e7 /pygnulib/GLModuleSystem.py
parent7f5da041d3031c71d19da9947f95370ba5211255 (diff)
downloadgnulib-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.py2
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']))