diff --git a/.travis.yml b/.travis.yml
index f68c5c60..acd1bd2c 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -44,7 +44,7 @@ script:
 before_deploy:
 - acknowledgements -i _config.yml >> _config.yml
 - make clean
-- rm -rf .bundle/ vendor/ hs/ src/ extra/ .gitignore .travis.yml Gemfile Gemfile.lock Makefile
+- rm -rf hs/ extra/ depr/ papers/ slides/ vendor/ *.agdai *.agda-lib *.lagda.md Guardfile Gemfile Gemfile.lock Makefile highlight.sh .gitignore .travis.yml
 
 branches:
   only:
diff --git a/_config.yml b/_config.yml
index 54b3558f..c196fa96 100644
--- a/_config.yml
+++ b/_config.yml
@@ -34,7 +34,13 @@ exclude:
   - "hs/"
   - "extra/"
   - "depr/"
+  - "papers/"
+  - "slides/"
   - "vendor/"
+  - "*.agdai"
+  - "*.agda-lib"
   - "*.lagda.md"
+  - "Guardfile"
   - "Gemfile"
   - "Gemfile.lock"
+  - "highlight.sh"