#!/bin/sh
( echo "{-# LINE 1 \"$2\" #-}" ; iconv -f ISO-8859-1 -t UTF-8 $2 ) > $3