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