#!/bin/sh wdiff "$1" "$2" | awk -f `dirname $0`/wdiff-colours.awk