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

Ensure that working directory doesn't stay in the plastex directory

parent 510831dc
Branches
No related tags found
No related merge requests found
Pipeline #121384 failed
...@@ -8,7 +8,7 @@ build: ...@@ -8,7 +8,7 @@ build:
- apt-get install -y ant dvipng maven python-imaging rubber texlive-fonts-recommended texlive-latex-extra texlive-math-extra wget - 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 - wget -O plastex.tar.gz https://github.com/tiarno/plastex/archive/1.0.0.tar.gz
- tar -xzvf plastex.tar.gz - tar -xzvf plastex.tar.gz
- cd plastex-1.0.0 && python setup.py install - (cd plastex-1.0.0 && python setup.py install)
script: script:
- cd org.rodinp.handbook.feature - cd org.rodinp.handbook.feature
- ant -file customBuild.xml - 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