test/external/metalang99/scripts/spec.sh


1
2
3
4
5
6
7
8
9
10
11
12

#!/bin/bash

set -e

cd spec

pdflatex -shell-escape spec.tex
biber spec
pdflatex -shell-escape spec.tex
pdflatex -shell-escape spec.tex

cd ..