coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coqdoc - not a bytecode executable file

From: "Mateusz Malinowski" <m4linka AT gmail.com>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Coqdoc - not a bytecode executable file
Date: Thu, 28 Aug 2008 13:05:51 +0200
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:mime-version:content-type :content-transfer-encoding:content-disposition; b=KtbPIVlHCpQGImtycMmn0CYoWeYa6bnjrqq8HacR+MsveeaYBa7CzFQqZvQxojwYvF ki0xI1m7tzU4S7GQAZ322+Z5pr/ck2KFGpJZtqzSfEtC1vcgRcA4T1vfRgz41w7RCfCv C1vdDPov/uApcoi2Kx4WLJgN+Jb7vE9Yor04U=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Good afternoon,
I have a problem with Coqdoc, when I type coqdoc x.v then my bash will
inform me: 'Fatal error: the x.v is not a bytecode executable file'.
Apart from this if I type coqdoc --glob-from x.v I'll get 'Unknown
option --glob-from'. I'm wondering if someone had similar problems.

I'm currently using Fedora 7 and The Coq Proof Assistant, version
8.1pl3 and I installed Coq from rpm.

Best wishes,
M.M.

[Coq-Club] Coqdoc - not a bytecode executable file, Mateusz Malinowski