[Ciao-users] Trouble with lpdoc