#!/bin/bash

## Determine filenames
tex=$1
base=${tex%.tex}
dvi=$base.dvi
ps=$base.ps
pdf=$base.pdf

# Ensure that file exists
if [ -f $tex ]
then
  echo ""
  echo "+--------------------------------------"
  echo "| Processing file '$tex'..."
  echo "+--------------------------------------"
  echo ""

  echo ""
  echo "--"
  echo "-- Running latex (1st run)..."
  echo "--"
  latex  $tex

  echo ""
  echo "--"
  echo "-- Running makindex..."
  echo "--"
  makeindex $base

  echo ""
  echo "--"
  echo "-- Running bibtex..."
  echo "--"
  bibtex $base

  echo ""
  echo "--"
  echo "-- Running latex (2nd run)..."
  echo "--"
  latex  $tex

  echo ""
  echo "--"
  echo "-- Running dvips..."
  echo "--"
  dvips  $dvi

  echo ""
  echo "--"
  echo "-- Running ps2pdf..."
  echo "--"
  ps2pdf $ps

  echo ""
  echo "+--------------------------------------"
  echo "| Done processing file '$tex'..."
  echo "+--------------------------------------"
  echo ""
else
  echo "File $tex does not exist!";
fi

exit