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