diff --git a/.travis.yml b/.travis.yml
index acd1bd2c..8ed85b2b 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -14,7 +14,6 @@ cache:
   - $HOME/.local
   - $HOME/agda-$AGDA_VERSION
   - $HOME/agda-stdlib-$AGDA_STDLIB_VERSION
-  - $HOME/agda2html-master
   - $HOME/acknowledgements-master
 
 # Ensure necessary system libraries are present