Re: gnulib-tool --extract-filelist whitespace diff fix

[Bruno Haible]

Hi Collin,

> This patch makes the python version behave the same way as well.
> I'm not sure if any files in modules/* have extra newlines like this,
> but the more close the gnulib-tool's behave the better.

Thanks, applied. With a small tweak in main.py, to make the 3 added files
more symmetric:

diff --git a/pygnulib/main.py b/pygnulib/main.py
index b41fe4720e..eea92a925d 100644
--- a/pygnulib/main.py
+++ b/pygnulib/main.py
@@ -1151,8 +1151,8 @@ def main():
                 files = module.getFiles_Raw()
                 files += 'm4/00gnulib.m4\n'
                 files += 'm4/zzgnulib.m4\n'
-                files += 'm4/gnulib-common.m4'
-                print(files)
+                files += 'm4/gnulib-common.m4\n'
+                print(files, end='')
 
     elif mode == 'extract-dependencies':
         if avoids:

Bruno