From cfa08e94e4d4c1e35d1d14b23b196fba88d211ed Mon Sep 17 00:00:00 2001 From: Georg Kreuzmayr Date: Thu, 18 Mar 2021 20:17:57 +0100 Subject: [PATCH] Fix check if index.html file was created Signed-off-by: Georg Kreuzmayr --- Travis/deploy_documentation.sh | 2 +- Travis/generate_documentation.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Travis/deploy_documentation.sh b/Travis/deploy_documentation.sh index 0f679d24f..12ffc363a 100644 --- a/Travis/deploy_documentation.sh +++ b/Travis/deploy_documentation.sh @@ -17,4 +17,4 @@ chmod 600 "$SSH_FILE" \ ssh-keyscan github.com >> "$HOME/.ssh/known_hosts" chmod +x "$TRAVIS_BUILD_DIR/Travis/generate_documentation.sh" -"$TRAVIS_BUILD_DIR/Travis/generate_documentation.sh" || travis_terminate 1 \ No newline at end of file +"$TRAVIS_BUILD_DIR/Travis/generate_documentation.sh" || exit 1 \ No newline at end of file diff --git a/Travis/generate_documentation.sh b/Travis/generate_documentation.sh index 6a3f314c0..aa5f5292c 100755 --- a/Travis/generate_documentation.sh +++ b/Travis/generate_documentation.sh @@ -78,7 +78,7 @@ doxygen $DOXYFILE 2>&1 | tee doxygen.log # Only upload if Doxygen successfully created the documentation. # Check this by verifying that the html directory and the file html/index.html # both exist. This is a good indication that Doxygen did it's work. -if [ -d "html" ] && [ -f "html/index.html" ]; then +if [ -f "index.html" ]; then echo 'Uploading documentation to the gh-pages branch...' # Add everything in this directory (the Doxygen code documentation) to the # gh-pages branch.