#! /bin/csh -f
# Last edited on 2003-09-13 18:31:26 by stolfi

diff -rbB \
    -x '*.ppm*' -x '*.pbm*' -x '*.png*' -x '*.jpg' -x '*.gif' -x '*.png' \
    -x '*.log' -x '*.comments' -x '*.html-inc' -x '*~' \
    $1 $2 \
  | prettify-diff-output
