The Coq mailing list

[Ian Zimmerman <itz AT speakeasy.org>]

Judicaël> As for the configure script, -e is indeed a non-standard
Judicaël> feature of echo in bash. I have just corrected the
Judicaël> problem. In order to make your installation work, you can
Judicaël> either run a "bash configure" 

Yes, of course, that's what I did.  This was a trivial matter; what
got me upset was the Kafka-like coq-bugs autoreply.  Thanks for your
attention. 

-- 
Ian Zimmerman, Oakland, California, U.S.A.
GPG: 433BA087  9C0F 194F 203A 63F7 B1B8  6E5A 8CA3 27DB 433B A087
In his own soul a man bears the source
from which he draws all his sorrows and his joys.
Sophocles.