Index: library/lib/makeDoc.xotcl =================================================================== diff -u -rc72f9f638677608fab1502cd696c8f2d6b2952f9 -r2111020b49da8ce57758e51accf0b6073037f0d2 --- library/lib/makeDoc.xotcl (.../makeDoc.xotcl) (revision c72f9f638677608fab1502cd696c8f2d6b2952f9) +++ library/lib/makeDoc.xotcl (.../makeDoc.xotcl) (revision 2111020b49da8ce57758e51accf0b6073037f0d2) @@ -72,10 +72,11 @@