From f2274ff2aa828d6c80956acab9899219bdf60339 Mon Sep 17 00:00:00 2001 From: Michael Baentsch <57787676+baentsch@users.noreply.github.com> Date: Thu, 26 Oct 2023 17:57:19 +0200 Subject: [PATCH] remove apparently extraneous rmtree statement to ensure documentation patches survive --- scripts/copy_from_upstream/copy_from_upstream.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/scripts/copy_from_upstream/copy_from_upstream.py b/scripts/copy_from_upstream/copy_from_upstream.py index 99d04c6347..665328f032 100755 --- a/scripts/copy_from_upstream/copy_from_upstream.py +++ b/scripts/copy_from_upstream/copy_from_upstream.py @@ -611,8 +611,10 @@ def copy_from_upstream(): for t in ["kem", "sig"]: with open(os.path.join(os.environ['LIBOQS_DIR'], 'tests', 'KATs', t, 'kats.json'), "w") as f: json.dump(kats[t], f, indent=2, sort_keys=True) - if not keepdata: - shutil.rmtree('repos') + +# TBD: What's the purpose of this rmtree? It destroys patches to the documentation +# if not keepdata: +# shutil.rmtree('repos') update_upstream_alg_docs.do_it(os.environ['LIBOQS_DIR'])