diff --git a/.travis.yml b/.travis.yml index 54d6fdc9005dcd65a4f23f7fff214e55cc6d9684..45377215815d2627d6a62dee0c4cf2139becf3f4 100644 --- a/.travis.yml +++ b/.travis.yml @@ -6,7 +6,7 @@ before_install: 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 + - cd plastex-1.0.0 && sudo python setup.py install script: - cd org.rodinp.handbook.feature - ant -file customBuild.xml