Index: xotcl/doc/xo-whichPkg.html =================================================================== diff -u -raf574e7e934986818f402ee382f7cdab57feed39 -r795e843bc1d4d68b002d9e2e3fffe8aa6e1945a8 --- xotcl/doc/xo-whichPkg.html (.../xo-whichPkg.html) (revision af574e7e934986818f402ee382f7cdab57feed39) +++ xotcl/doc/xo-whichPkg.html (.../xo-whichPkg.html) (revision 795e843bc1d4d68b002d9e2e3fffe8aa6e1945a8) @@ -51,7 +51,7 @@ Date: