annotate m-toolbox/m/helper/buildLaTeXTN.sh @ 37:a4b7ceae0403
database-connection-manager
Show backtrace on unit test errors
author |
Daniele Nicolodi <nicolodi@science.unitn.it> |
date |
Mon, 05 Dec 2011 16:20:06 +0100 |
parents |
f0afece42f48 |
children |
|
rev |
line source |
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
|