Further simplify symlink removal (#224)

Co-authored-by: Ezio Melotti <[email protected]>
python · Oct 28, 2024 · 36f8c1e · 36f8c1e
1 parent 841689c
commit 36f8c1e
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/build_docs.py b/build_docs.py
@@ -998,8 +998,7 @@ def symlink(
 
     if not link.exists() or readlink(link) != directory:
         # Link does not exist or points to the wrong target.
-        if link.exists():
-            link.unlink()
+        link.unlink(missing_ok=True)
         link.symlink_to(directory)
         run(["chown", "-h", f":{group}", str(link)])
     if not skip_cache_invalidation: