From a8e51be75b062e4165cc2a22579c65dc3a8135dc Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 4 May 2016 09:03:25 +0200
Subject: [PATCH] do not copy eclipse files to upload

---
 .travis.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 2b7927e..ba2398d 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/
-- 
GitLab