blob: 220fcd414d6e87f129a8dd48769f09d888e7c504 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
# A simple script for Bash
getopts "p" opt
if [[ $opt == '?' ]]; then
tex_format=latex
ext=dvi
name=$1
else
tex_format=pdflatex
ext=pdf
name=$2
fi
name=$(basename $name .tex)
if [[ -f $name.$ext ]]; then
rm $name.$ext
fi
if [[ -f $name.aux ]]; then
rm $name.aux
fi
if [[ -f $name.auy ]]; then
rm $name.auy
fi
if [[ -f $name.idy ]]; then
rm $name.idy
fi
while true; do
if [[ -f $name.rpt ]]; then
rm $name.rpt
fi
$tex_format $name
if [[ ! -f $name.rpt ]]; then
break
fi
done
|