#!/bin/bash
set -e

rm -f main.aux main.idx main.ilg main.ind main.ind main.log main.pdf main.toc $DEPOT/main.pdf

pdflatex main
makeindex main
pdflatex main
pdflatex main
cp main.pdf "$DEPOT/main-$(date +%Y.%m.%d-%H%M).pdf"