Index: xotcl/doc/xo-whichPkg.html =================================================================== diff -u -r3eed8eb06e3bcc8a17de2d9d130f0caae5ea4123 -ra2a38f88c2b4e7891bf5addc324e2023d3adfccd --- xotcl/doc/xo-whichPkg.html (.../xo-whichPkg.html) (revision 3eed8eb06e3bcc8a17de2d9d130f0caae5ea4123) +++ xotcl/doc/xo-whichPkg.html (.../xo-whichPkg.html) (revision a2a38f88c2b4e7891bf5addc324e2023d3adfccd) @@ -52,7 +52,7 @@ Date: