Re: [Ciao-users] Trouble with lpdoc