#!/usr/bin/env sh # CI publish script export DITA_HOME=$PWD/dita-ot-$DITA_OT_VERSION export DITA_OT_DEV=$(find $PWD -name 'dita-ot-*+*' -type d | head -1) export SITE_DIR=$PWD/dita-ot.github.io #if [ "$TRAVIS_PULL_REQUEST" = "false" -a "$TRAVIS_BRANCH" = "develop" ]; then # Remove target output directory before generating new output rm -rf "$SITE_DIR/dev" # Re-create /dev folder & generate site output there ./gradlew -b site.gradle -Ddita.home=$DITA_HOME -Doutput.dir=$SITE_DIR/dev -PditaHomeSrc=$DITA_OT_DEV --info --stacktrace --no-daemon #else # ./gradlew -Ddita.home=$DITA_HOME html --info --stacktrace --no-daemon #fi