fix: bad iterdir usage.

JulienPalard · JulienPalard · commit 8cd9ad84ad70 · 2022-04-12T09:48:57.000+02:00
diff --git a/build_docs.py b/build_docs.py
@@ -883,8 +883,8 @@ def copy_build_to_webroot(self):
                 ]
             )
             changed.append("archives/")
-            for file_name in target.iterdir("archives"):
-                changed.append("archives/" + file_name)
+            for file in (target / "archives").iterdir():
+                changed.append("archives/" + file.name)
 
         logging.info("%s files changed", len(changed))
         if changed and not self.skip_cache_invalidation:

Original file line number	Diff line number	Diff line change
`@@ -883,8 +883,8 @@ def copy_build_to_webroot(self):`
`883`	`883`	`]`
`884`	`884`	`)`
`885`	`885`	`changed.append("archives/")`
`886`		`- for file_name in target.iterdir("archives"):`
`887`		`- changed.append("archives/" + file_name)`
	`886`	`+ for file in (target / "archives").iterdir():`
	`887`	`+ changed.append("archives/" + file.name)`
`888`	`888`
`889`	`889`	`logging.info("%s files changed", len(changed))`
`890`	`890`	`if changed and not self.skip_cache_invalidation:`