#!/bin/sh file="$1" pdflatex "$file" && pdflatex "$file" && pdflatex "$file"