20 lines
306 B
Bash
Executable file
20 lines
306 B
Bash
Executable file
#!/bin/bash
|
|
|
|
test #$ -gt 1 || exit 1
|
|
|
|
tmp=tmp$$
|
|
file=/dev/shm/$tmp
|
|
result=$(echo $1 | rev | cut -d. -f2- | rev).pdf
|
|
|
|
sed 's/oeil/\\oe{}il/g;
|
|
s/oeuvre/\\oe{}uvre/g;
|
|
s/soeur/s\\oe{}ur/g;
|
|
s/noeud/n\\oe{}ud/g;
|
|
s/oeuf/\\oe{}uf/g;
|
|
s/boeuf/b\\oe{}uf/g
|
|
' $1 > $file
|
|
|
|
pdflatex $file
|
|
mv $tmp.pdf $result
|
|
rm -f $tmp*
|