#!/bin/bash

echo
echo
echo " --- #### MOD_SURVEY FOR BEGINNERS #### --- "
echo

export BASENAME="mod_survey_for_beginners"
export ROOTPATH="mod_survey_for_beginners"
export DEST="pdf"

export OUT="$BASENAME.out"
export TEX="$BASENAME.tex"
export PDF="$BASENAME.pdf"
export AUX="$BASENAME.aux"
export LOG="$BASENAME.log"

export CRAP="$OUT $TEX $PDF $AUX $LOG"

export STYLESHEET="$ROOTPATH/$BASENAME.dsl"
export SOURCE="$ROOTPATH/$BASENAME.sgm"

rm -f $CRAP
rm -f images

ln -s "$ROOTPATH/images"

echo jade -V graphic.default.extension=gif -t tex -d $STYLESHEET\#print -o $TEX $SOURCE
jade -t tex -d $STYLESHEET\#print -o $TEX $SOURCE
echo pdfjadetex $BASENAME
pdfjadetex $BASENAME > /dev/null
pdfjadetex $BASENAME > /dev/null
pdfjadetex $BASENAME > /dev/null

echo mv $PDF $DEST
mv $PDF $DEST

rm -f $CRAP
rm -f images