#!/bin/sh
etex short.tex && dvips -o short.ps short.dvi && ps2pdf short.ps