Index: xotcl/doc/index.html =================================================================== diff -u -rf7894d9be99a8da3a04218abcdb9bd46b6d625c8 -r9722a51911e1502444c173306c8c88f7f3888989 --- xotcl/doc/index.html (.../index.html) (revision f7894d9be99a8da3a04218abcdb9bd46b6d625c8) +++ xotcl/doc/index.html (.../index.html) (revision 9722a51911e1502444c173306c8c88f7f3888989) @@ -22,7 +22,7 @@