#!/bin/sh set -e [ $HOSTNAME = roke ] && HOSTNAME=lilith week=$1 name=Nemerle_for_OOP_Programmers_Week_$week ./get-html "$name" "^$name\$" RAISE_LEVEL=1 ./totex "Nemerle for OOP Programmers Week \\#$week" echo echo "******* Done *******" echo grep "<" output.tex mv output.html "$name".html mv output.pdf "$name".pdf