On Wed, Dec 19, 2007 at 08:44:32AM +0100, Ralf Treinen wrote: > I just tried on my home box (amd64/sid), and cannot reproduce the error > you describe on recompiling cryptgps.
mmmh, this is strange, I really don't see how can it built find for you: the cdbs class now invokes /usr/share/cdbs/1/class/ocamldoc-api-ref-config and that file is not executable here: $ ls -l /usr/share/cdbs/1/class/ocamldoc-api-ref-config -rw-r--r-- 1 root root 2238 2007-12-17 13:41 /usr/share/cdbs/1/class/ocamldoc-api-ref-config Can you please check whether the above file is executable for you or not? TIA Cheers. -- Stefano Zacchiroli -*- PhD in Computer Science ............... now what? [EMAIL PROTECTED],debian.org,bononia.it} -%- http://www.bononia.it/zack/ (15:56:48) Zack: e la demo dema ? /\ All one has to do is hit the (15:57:15) Bac: no, la demo scema \/ right keys at the right time
signature.asc
Description: Digital signature
