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