Skip to content
Snippets Groups Projects
Commit 510831dc authored by dgelessus's avatar dgelessus
Browse files

Remove unnecessary sudo

parent 23d4a606
Branches
No related tags found
No related merge requests found
......@@ -4,11 +4,11 @@ build:
variables:
DEBIAN_FRONTEND: noninteractive
before_script:
- sudo apt-get update
- sudo apt-get install -y ant dvipng maven python-imaging rubber texlive-fonts-recommended texlive-latex-extra texlive-math-extra wget
- apt-get update
- apt-get install -y ant dvipng maven python-imaging rubber texlive-fonts-recommended texlive-latex-extra texlive-math-extra wget
- 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 && sudo python setup.py install
- cd plastex-1.0.0 && python setup.py install
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