coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] coqdoc linking

From: Josef Urban <josef.urban AT gmail.com>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] coqdoc linking
Date: Sat, 19 Sep 2009 22:41:34 +0200
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=PJao6ZHsTr+znaxlv9Jf5QmidfHT1liCOtD4DqFYmYpKNPhVede9rp6o4RXLhp+mmv YDPAiD8qYmD4Rcljr7f1mDdOnd1zj+Q2U3Ln7qM1fRryZ+7H+PlPoPj2DRy5qocRQPoa ovKA1oVt4uM81yoH9Xjyed/rHRH6XSJgLOsgo=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hello,

How do I run coqdoc on one C-CoRN file - say CPolynomials.v - so that the symbols defined in other CoRN files are also properly linked?

I can see that the CoRN Makefile does it for all files at once using the --files-from option. But if I try to repeat the process only for one file, the links are not there. I tried all kinds of things with the --glob-from option and the .glob file (made from all CoRN files), and also with the -R option, but so far without success.

Thanks for any help,
Josef Urban

[Coq-Club] coqdoc linking, Josef Urban