From 4c2bc372764665c412f46307dc359e469b609519 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Tue, 26 Apr 2016 12:09:36 +0200
Subject: [PATCH] install plastex

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

diff --git a/.travis.yml b/.travis.yml
index 6352898..54d6fdc 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
-- 
GitLab