Index: library/xotcl/library/lib/makeDoc.xotcl =================================================================== diff -u -N -r1711d2463a88d72589e00a87b0a0842cf8e7f9fa -ra963e8896fd07c345ccfa034cbd043344edbf083 --- library/xotcl/library/lib/makeDoc.xotcl (.../makeDoc.xotcl) (revision 1711d2463a88d72589e00a87b0a0842cf8e7f9fa) +++ library/xotcl/library/lib/makeDoc.xotcl (.../makeDoc.xotcl) (revision a963e8896fd07c345ccfa034cbd043344edbf083) @@ -76,11 +76,11 @@