sync-docs: fix syntax warning

sync-docs.py:94: SyntaxWarning: invalid escape sequence '\d'
  m = re.match("v?(\d+).*", tag)

diff --git a/tools/sync-docs.py b/tools/sync-docs.py
index 86fe1a8ed7eac8d745b05d3c3a646e0b6effc747..ab10413c3a9adfeaf3ae812089c9910ec5b2df80 100755 (executable)
--- 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)