#!  /bin/bash 
DIR=pdf$1
echo "Preparing directory "$DIR
rm -rf $DIR
mkdir $DIR
# echo "Copying image files"
# time ln -s ../$1/*.jpeg $DIR/
# rm $DIR/thumb*               # stupid
cp pdftex/sga$1.tex $DIR
cd $DIR
echo "Linking image files directory"
ln -s  ../../$1 images
TEXINPUTS=images//:
export TEXINPUTS
# echo "Converting to eps files"
# time ../sgajpegps  > /dev/null 2>/dev/null
echo "PDFLatexing"
time pdflatex sga$1.tex
# echo "Converting to postscript"
# time dvips -o sga$1.ps sga$1.dvi 1>/dev/null 2>/dev/null
echo "Removing auxiliary files"
rm -f *.dvi *.tex *.jpeg *.eps *.aux *.log
mv *.pdf ..
cd ..
rm -rf $DIR


## on pourrait diminuer la taille des jpg avec
## convert -antialias -geometry 595x842
## mais c'est pas tres beau...