[Xotcl] Re: [Xotcl] Re: [Xotcl] Using source with the xodoc tool / Debian