diff options
Diffstat (limited to 'Tools/gtk/generate-inspector-gresource-manifest.py')
| -rwxr-xr-x | Tools/gtk/generate-inspector-gresource-manifest.py | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/Tools/gtk/generate-inspector-gresource-manifest.py b/Tools/gtk/generate-inspector-gresource-manifest.py index d319eba0c..03060cfa2 100755 --- a/Tools/gtk/generate-inspector-gresource-manifest.py +++ b/Tools/gtk/generate-inspector-gresource-manifest.py @@ -33,8 +33,8 @@ def get_filenames(args): base_dir_index = filename.rfind(BASE_DIR) if base_dir_index != -1: name = filename[base_dir_index + len(BASE_DIR):] - # The result should use forward slashes, thus make sure any os-specific - # separator, added by the glob.glob() call, is properly replaced + # The result should use forward slashes, thus make sure any os-specific + # separator, added by the glob.glob() call, is properly replaced if os.sep != '/': name = name.replace(os.sep, '/') filenames.append(name) @@ -55,13 +55,13 @@ if __name__ == "__main__": args = parser.parse_args(sys.argv[1:]) args.output.write(\ -"""<?xml version=1.0 encoding=UTF-8?> -<gresources> - <gresource prefix="/org/webkitgtk/inspector"> + """<?xml version=1.0 encoding=UTF-8?> + <gresources> + <gresource prefix="/org/webkitgtk/inspector"> """) for filename in get_filenames(args.filenames): - line = ' <file' + line = ' <file' if is_compressible(filename): line += ' compressed="true"' if 'Images/gtk/' in filename: @@ -71,7 +71,7 @@ if __name__ == "__main__": args.output.write(line) args.output.write(\ -""" </gresource> + """ </gresource> </gresources> """) |