Commit e8af5902305911b4b7fda933347422b3b12e84ec
2024-03-20T17:51:55
gnulib-tool.py: Make --extract-filelist match gnulib-tool.sh. * pygnulib/GLModuleSystem.py (GLModule.getFiles_Raw): New function which returns the 'Files:' section from a module unchanged. (GLModule.getFiles): Use it. * pygnulib/main.py (main): Use it and match the output of gnulib-tool.sh for --extract-filelist.