From 275246b0e4443ba070441fe1ca0c4664a01e9b0a Mon Sep 17 00:00:00 2001 From: Unrud Date: Thu, 27 Feb 2020 03:49:46 +0100 Subject: [PATCH] Commit index.html --- documentation-generator/run.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/documentation-generator/run.py b/documentation-generator/run.py index cfeb6962..90dd4558 100755 --- a/documentation-generator/run.py +++ b/documentation-generator/run.py @@ -135,8 +135,10 @@ def main(): convert_doc(src_path, to_path, branch, branches) run_git("add", "--", to_path) if branches: - with open(os.path.join(TARGET_DIR, "index.html"), "w") as f: + index_path = os.path.join(TARGET_DIR, "index.html") + with open(index_path, "w") as f: f.write(make_index_html(branches[0])) + run_git("add", "--", index_path) with contextlib.suppress(subprocess.CalledProcessError): run_git("diff", "--cached", "--quiet") print("No changes", file=sys.stderr)