From 75643c3997f5b6d2aa1d7bd8400b9be6736d9908 Mon Sep 17 00:00:00 2001 From: "Matias N. Goldberg" Date: Tue, 15 Oct 2024 14:29:00 -0300 Subject: [PATCH] Fix Doxygen build --- Scripts/BuildScripts/build_ci_doxygen.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/Scripts/BuildScripts/build_ci_doxygen.sh b/Scripts/BuildScripts/build_ci_doxygen.sh index 63f12f9cd0f..57f1ae625b8 100755 --- a/Scripts/BuildScripts/build_ci_doxygen.sh +++ b/Scripts/BuildScripts/build_ci_doxygen.sh @@ -34,8 +34,10 @@ echo "--- Going to gh-pages repo ---" cd ../../gh-pages || exit $? cd api || exit $? echo "--- Removing old ${OGRE_VERSION} ---" -git rm -rf ${OGRE_VERSION} || exit $? -rm -rf ${OGRE_VERSION} || exit $? +if [ -d "${OGRE_VERSION}" ]; then + git rm -rf ${OGRE_VERSION} || exit $? + rm -rf ${OGRE_VERSION} || exit $? +fi echo "--- Copying new ${OGRE_VERSION} ---" mv ../../build/Doxygen/api/html ${OGRE_VERSION} || exit $?