From 5289448eb10a83f850eea3a6ae78e7677b0cbae2 Mon Sep 17 00:00:00 2001 From: Sam Clegg Date: Wed, 19 Nov 2025 12:30:24 -0800 Subject: [PATCH] Fix change detection in tools/maint/update_docs.py. NFC --- tools/maint/update_docs.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/maint/update_docs.py b/tools/maint/update_docs.py index 16e8351fe4c20..13714c962c72d 100755 --- a/tools/maint/update_docs.py +++ b/tools/maint/update_docs.py @@ -55,7 +55,7 @@ def main(args): # Build and install the docs subprocess.check_call(['make', 'install', f'EMSCRIPTEN_SITE={site_out}'], cwd=site_dir) - files_changed = get_changed_files(site_dir) + files_changed = get_changed_files(site_out) # This AUTHORS.html file happens to always contains the current date, so we don't want # to consider updates that contain only this one file if 'docs/contributing/AUTHORS.html' in files_changed: