# hdiff is
#    htmldiff -i -w '<del style="background:#F00">' -x '</del>' -y '<ins style="background:#0F0">' -z '</ins>' "$@"
# where htmldiff is 1999 softwre from pinard@iro.umontreal.ca, found
# via Bert Bos's notes in   
# http://lists.w3.org/Archives/Public/spec-prod/2003JanMar/0005.html
#

all:
	for x in ../TR/STAGE-owl-semantics/[a-z]*.html; do y=`basename $$x`; echo $$y; hdiff ~/TR/PR-owl-semantics-20031215/$$y ../TR/STAGE-owl-semantics/$$y > owl-semantics-$$y; done
	for x in ../TR/STAGE-owl-test/[a-z]*.html; do y=`basename $$x`; echo $$y; hdiff ~/TR/PR-owl-test-20031215/$$y ../TR/STAGE-owl-test/$$y > owl-test-$$y; done
	for x in owl-features owl-guide owl-ref owl-semantics owl-test webont-req; do echo $$x; hdiff ~/TR/PR-$$x-20031215/Overview.html ../TR/STAGE-$$x/Overview.html > $$x.html; done