Dear Lars Erik,
An error in the documentation produced that the ciao.info file generated were erroneous (from that point on, the `* Menu:' string was indented, not at the beginning of the line). We have fixed the error, so in the next distribution it will be OK. If you want, I can send you a good ciao.info file, but it is huge! (1811896 bytes).
Regards,
Daniel
.......................................................................... : : Facultad de Informatica : : Daniel Cabeza Gras : Universidad Politecnica de Madrid : : CLIP Group : 28660-Boadilla del Monte, MADRID : : dcabeza(a)fi.upm.es : SPAIN : ..........................................................................