#! /bin/sh
#	sccs: @(#)diffmk.sh	1.2
if test -z "$3" -o "$3" = "$1" -o "$3" = "$2"; then
	echo "usage: name1 name2 name3 -- name3 must be different"
	exit
fi
diff -e $1 $2 | (sed -n -e '
/[ac]$/{
	p
	a\
\\marginpar\{\$\\top\$\}
: loop
	n
	/^\.$/b done1
	p
	b loop
: done1
	a\
\\marginpar\{\$\\bot\$\}\
.
	b
}

/d$/{
	s/d/c/p
	a\
\\marginpar\{\$\\delta\$\}\
.
	b
}'; echo '1,$p') | ed - $1| sed -e '
/^\.TS/,/.*\. *$/b pos
/^\.T&/,/.*\. *$/b pos
p
d
:pos
/^\.mc/d
' > $3