diff --git a/.travis.yml b/.travis.yml index 2b7927e6edfbe6253e06baf363e7210b30472bb1..ba2398d8cb43af04da9c1d4e8597292919b9ca7f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -18,7 +18,9 @@ script: - cp -r org.rodinp.handbook.feature/build/eclipse/* org.rodinp.handbook/ - mvn -f org.rodinp.handbook.parent/pom.xml install - mkdir -p upload/current - - cp -r org.rodinp.handbook.feature/build/* upload/current/ + - cp -r org.rodinp.handbook.feature/build/files upload/current/ + - cp -r org.rodinp.handbook.feature/build/html upload/current/ + - cp -r org.rodinp.handbook.feature/build/pdf upload/current/ - mkdir -p upload/updatesite - cp -r org.rodinp.handbook.repository/target/repository/* upload/updatesite/ - cp org.rodinp.handbook.releng/index.html upload/updatesite/