diff --git a/.travis.yml b/.travis.yml
index 635289824eb7e5243eb535b224b42d78d11b0b3c..54d6fdc9005dcd65a4f23f7fff214e55cc6d9684 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -3,6 +3,10 @@ language: java
 before_install:
   - sudo apt-get -qq update
   - sudo apt-get install -y texlive-full
+install:
+  - wget -O plastex.tar.gz https://github.com/tiarno/plastex/archive/1.0.0.tar.gz
+  - tar -xzvf plastex.tar.gz
+  - cd plastex-1.0.0 && python setup.py install
 script:
 - cd org.rodinp.handbook.feature
 - ant -file customBuild.xml