Index: library/lib/makeDoc.xotcl =================================================================== diff -u -rc72f9f638677608fab1502cd696c8f2d6b2952f9 -r0a717f78fe75f44d830e4e40cdcdd9f7f0a4ebbd --- library/lib/makeDoc.xotcl (.../makeDoc.xotcl) (revision c72f9f638677608fab1502cd696c8f2d6b2952f9) +++ library/lib/makeDoc.xotcl (.../makeDoc.xotcl) (revision 0a717f78fe75f44d830e4e40cdcdd9f7f0a4ebbd) @@ -72,10 +72,11 @@