foreach i ( `ls -1 | grep -v RCS | awk '{print $2}'` )
 echo '======================================'
 echo  '======================================' >>DIFF
 echo  '======================================' >>DIFF
 echo $i >>DIFF
 echo  '======================================' >>DIFF
 echo  '======================================' >>DIFF
 echo ' ' >>DIFF
 diff $i ../../haddock2.0/protocols/$i >>DIFF
end
