#!/bin/bash

echo
echo
echo " --- #### MOD_SURVEY PROGRAMMER'S GUIDE #### --- "
echo

export BASENAME="mod_survey_programmers_guide"
export ROOTPATH="mod_survey_programmers_guide"
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
echo jade -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