From 0c6e0bc8eebc2e2f6eced58ffd54c1e602dee91d Mon Sep 17 00:00:00 2001 From: Nicolas Patry Date: Wed, 22 May 2024 08:37:37 +0000 Subject: [PATCH] Different temporary filename. --- update_doc.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/update_doc.py b/update_doc.py index 9a9faa9e..3f8ddedd 100644 --- a/update_doc.py +++ b/update_doc.py @@ -121,7 +121,7 @@ def check_supported_models(check: bool): with open(filename, "r") as f: doc = f.read() if doc != final_doc: - tmp = "launcher.md" + tmp = "supported.md" with open(tmp, "w") as g: g.write(final_doc) diff = subprocess.run(