diff --git a/tools/sync-docs.py b/tools/sync-docs.py
index 86fe1a8ed7..ab10413c3a 100755
--- a/tools/sync-docs.py
+++ b/tools/sync-docs.py
@@ -85,7 +85,7 @@ def get_latest_version():
     tags = subprocess.check_output(["git", "tag", "-l", "v*"], text=True).split()
     versions = []
     for tag in tags:
-        m = re.match("v?(\d+).*", tag)
+        m = re.match(r"v?(\d+).*", tag)
         if m:
             versions.append(int(m.group(1)))
     return max(versions)