Index: xotcl/doc/index.html =================================================================== diff -u -rbb3c756fb47517596b9dbcb4e580aa1212827b41 -r2846921e448d4d4aeb3245ebbfe4381182f0e286 --- xotcl/doc/index.html (.../index.html) (revision bb3c756fb47517596b9dbcb4e580aa1212827b41) +++ xotcl/doc/index.html (.../index.html) (revision 2846921e448d4d4aeb3245ebbfe4381182f0e286) @@ -22,7 +22,7 @@