From 9d500186d1131fec9f307c818c6855d033c7c06a Mon Sep 17 00:00:00 2001 From: kaltokri Date: Fri, 3 Nov 2023 16:33:45 +0100 Subject: [PATCH] Enhancement of build-docs to remove old files --- docker/build-docs/start.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docker/build-docs/start.sh b/docker/build-docs/start.sh index 4773540be..0ebbe62f4 100644 --- a/docker/build-docs/start.sh +++ b/docker/build-docs/start.sh @@ -4,6 +4,7 @@ cd /moose/ mkdir -p build/tools mkdir -p build/doc +rm -f build/doc/* # Checkout luadocumentor cd /moose/build/tools @@ -18,7 +19,6 @@ lua luadocumentor.lua -d /moose/build/doc '/moose/Moose Development/Moose' # Copy generated files in the MOOSE_DOCS repo if it is already there if [ -d /moose/build/MOOSE_DOCS/Documentation ]; then - rm -rf /moose/build/MOOSE_DOCS/Documentation - mkdir -p /moose/build/MOOSE_DOCS/Documentation + rm -f /moose/build/MOOSE_DOCS/Documentation/* cp /moose/build/doc/* /moose/build/MOOSE_DOCS/Documentation/ fi