#!/bin/sh
# diff-jml-with-normal -- Give recursive diffs between JML2 and JML2-normal

cd $HOME
diff -r -x Entries -x Repository -x Root -x Tag -x '*~' -x '.*~' \
    -x jml-junit.html -x jmlc.html -x jmlrac.html -x jmlunit.html \
    -x jml.html -x jmldoc.html -x jmlspec.html -x jtest.html \
    -x jml-junit.txt -x jmlc.txt -x jmlrac.txt -x jmlunit.txt \
    -x jml.txt -x jmldoc.txt -x jmlspec.txt -x jtest.txt \
    -I '\$Id: ' -I '\$Revision: ' -I '\$Date: ' \
    JML2 JML2-normal