From 5d454f2efcb2a0cf5d8ba3345b004f96e175ff63 Mon Sep 17 00:00:00 2001 From: mfahampshire Date: Tue, 22 Aug 2023 10:03:08 +0200 Subject: [PATCH] fixed issue with already existing directory during mv --- documentation/build_all_to_dist.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/documentation/build_all_to_dist.sh b/documentation/build_all_to_dist.sh index 13e5f549e5..b414e92df6 100755 --- a/documentation/build_all_to_dist.sh +++ b/documentation/build_all_to_dist.sh @@ -40,6 +40,6 @@ else cd ../ done # rename for server paths + rm -rf ../dist/docs/developers mv ../dist/docs/dev-portal ../dist/docs/developers fi -