#!/bin/sh
dvips main.dvi -o main.ps
