[ci] Upload the generated documentation to pmd.sourceforge.net as well

This commit is contained in:
Andreas Dangel
2018-05-22 19:29:35 +02:00
parent 72f5539a8b
commit 958c509209

View File

@ -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