From 5942057a9c17916c5534e5badabb15a6bdcef367 Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Fri, 30 Jun 2023 20:39:08 -0700 Subject: [PATCH] introduction.md --- benchmark/benchmark.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/benchmark/benchmark.py b/benchmark/benchmark.py index 704aa3bc3..36f670fb0 100755 --- a/benchmark/benchmark.py +++ b/benchmark/benchmark.py @@ -433,10 +433,15 @@ def run_test( instructions = intro.read_text() + "\n\n" else: instructions = "" + + introduction = testdir / ".docs/introduction.md" + if introduction.exists(): + instructions += introduction.read_text() instructions += (testdir / ".docs/instructions.md").read_text() instructions_append = testdir / ".docs/instructions.append.md" if instructions_append.exists(): instructions += instructions_append.read_text() + instructions += prompts.instructions_addendum.format(file_list=file_list) io = InputOutput(