Skip to content
Snippets Groups Projects
Commit 84a227f5 authored by Sebastian Krings's avatar Sebastian Krings
Browse files

install texlive-full

parent 0be1a987
No related branches found
No related tags found
No related merge requests found
sudo: required
language: java
before_install:
- sudo apt-get -qq update
- sudo apt-get install -y texlive-full
script:
- cd org.rodinp.handbook.feature
- ant -file customBuild.xml
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment