diff --git a/tools/gitwash_dumper.py b/tools/gitwash_dumper.py index cabff5c0a..7472658ec 100755 --- a/tools/gitwash_dumper.py +++ b/tools/gitwash_dumper.py @@ -223,7 +223,7 @@ def main(): out_path, cp_globs=(pjoin('gitwash', '*'),), rep_globs=('*.rst',), - renames=(('\.rst$', options.source_suffix),), + renames=((r'\.rst$', options.source_suffix),), ) make_link_targets( project_name,