From 3378a9aa4bf2df2ebc5200699232433db0cde4fb Mon Sep 17 00:00:00 2001 From: Akuli Date: Thu, 7 Dec 2023 19:34:56 +0200 Subject: [PATCH] p --- doctest.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doctest.sh b/doctest.sh index 6c0bdf0f..4035bde9 100755 --- a/doctest.sh +++ b/doctest.sh @@ -44,7 +44,7 @@ function generate_expected_output() } rm -rf tmp/doctest -mkdir tmp/doctest +mkdir -p tmp/doctest for file in "${files[@]}"; do echo "Extracting doctests from $file..."