From 958c5092091db1f50aff84f95c5223decfa8d994 Mon Sep 17 00:00:00 2001 From: Andreas Dangel Date: Tue, 22 May 2018 19:29:35 +0200 Subject: [PATCH] [ci] Upload the generated documentation to pmd.sourceforge.net as well --- .travis/release.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.travis/release.sh b/.travis/release.sh index ef99737da7..6d543c4c00 100755 --- a/.travis/release.sh +++ b/.travis/release.sh @@ -76,5 +76,9 @@ mkdir pmd.github.io git push origin master ) +echo -e "\n\nUploading the new release to pmd.sourceforge.net which serves as an archive...\n\n" +travis_wait rsync -ah --stats pmd-doc-${VERSION}/ ${PMD_SF_USER}@web.sourceforge.net:/home/project-web/pmd/htdocs/pmd-${VERSION}/ + + fi