0
Daniele Nicolodi <nicolodi@science.unitn.it>
parents:
diff
changeset
|
1 #!/bin/bash
|
Daniele Nicolodi <nicolodi@science.unitn.it>
parents:
diff
changeset
|
2
|
Daniele Nicolodi <nicolodi@science.unitn.it>
parents:
diff
changeset
|
3 if [ $# -lt 1 ]
|
Daniele Nicolodi <nicolodi@science.unitn.it>
parents:
diff
changeset
|
4 then
|
Daniele Nicolodi <nicolodi@science.unitn.it>
parents:
diff
changeset
|
5 echo "usage: buildLaTeXTN <model_name>"
|
Daniele Nicolodi <nicolodi@science.unitn.it>
parents:
diff
changeset
|
6 exit
|
Daniele Nicolodi <nicolodi@science.unitn.it>
parents:
diff
changeset
|
7 fi
|
Daniele Nicolodi <nicolodi@science.unitn.it>
parents:
diff
changeset
|
8
|
Daniele Nicolodi <nicolodi@science.unitn.it>
parents:
diff
changeset
|
9 input=`basename $1 .tex`
|
Daniele Nicolodi <nicolodi@science.unitn.it>
parents:
diff
changeset
|
10 echo "compiling file: $input"
|
Daniele Nicolodi <nicolodi@science.unitn.it>
parents:
diff
changeset
|
11
|
Daniele Nicolodi <nicolodi@science.unitn.it>
parents:
diff
changeset
|
12 pdflatex $input.tex && pdflatex $input.tex && pdflatex $input.tex && open $input.pdf
|
Daniele Nicolodi <nicolodi@science.unitn.it>
parents:
diff
changeset
|
13
|
Daniele Nicolodi <nicolodi@science.unitn.it>
parents:
diff
changeset
|
14
|
Daniele Nicolodi <nicolodi@science.unitn.it>
parents:
diff
changeset
|
15
|