From 8ac22253cb18f828d1fcbfd23fce2e95c1b5318d Mon Sep 17 00:00:00 2001 From: Jordan Brown Date: Wed, 20 May 2020 13:51:30 -0400 Subject: [PATCH] Fix dox again maybe --- build/build_dox.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/build_dox.sh b/build/build_dox.sh index beef7d5406..dfecc467f5 100755 --- a/build/build_dox.sh +++ b/build/build_dox.sh @@ -16,7 +16,7 @@ if [ "$PUBLISH_DOX" = true ] ; then GITHUB_URL="github.com/$TRAVIS_PULL_REQUEST_SLUG" echo "Cloning https://git@$GITHUB_URL..." git clone -b gh-pages --single-branch "https://git@$GITHUB_URL" "$DOXDIR" 2> /dev/null - rm -r "$DOXDIR\*" + rm -r "$DOXDIR/*" fi VERSION=cat "$BUILD_FOLDER/build/Version.props" | grep -oPm1 "(?<=)[^<]+"