#!/bin/bash

#
#	crude, but do the job.
#

NAME="tetatricks"

pdflatex   $NAME
makeindex  $NAME
pdflatex   $NAME

date >> log.toto