From e5caed555f1375d33947bd88251e3575b361995e Mon Sep 17 00:00:00 2001 From: Johannes Schindelin Date: Sun, 24 Nov 2013 11:13:33 -0600 Subject: [PATCH] Do not use 'echo -e' unnecessarily Signed-off-by: Johannes Schindelin --- .utility/push-javadoc-to-gh-pages.sh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/.utility/push-javadoc-to-gh-pages.sh b/.utility/push-javadoc-to-gh-pages.sh index c729898880..355b3ae201 100755 --- a/.utility/push-javadoc-to-gh-pages.sh +++ b/.utility/push-javadoc-to-gh-pages.sh @@ -4,7 +4,7 @@ if [ "$TRAVIS_PULL_REQUEST" == "false" ]; then - echo -e "Start to publish lastest Javadoc to gh-pages...\n" + echo "Start to publish lastest Javadoc to gh-pages..." cp -R build/docs/javadoc $HOME/javadoc-latest @@ -20,6 +20,5 @@ if [ "$TRAVIS_PULL_REQUEST" == "false" ]; then git commit -m "Lastest javadoc on successful travis build $TRAVIS_BUILD_NUMBER auto-pushed to gh-pages" git push -fq origin gh-pages > /dev/null - echo -e "Done magic with auto publishment to gh-pages.\n" - + echo "Done magic with auto publishment to gh-pages." fi