cd $1
ps2pdf notes.ps
echo '<hr><br><h1><a href="notes.pdf">PDF Version</a></h1>' >> notes.html
