coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club]Using coqdoc

From: Lionel Elie Mamane <lionel AT mamane.lu>
To: Pierre Casteran <pierre.casteran AT labri.fr>
Cc: Coq Club <coq-club AT pauillac.inria.fr>
Subject: Re: [Coq-Club]Using coqdoc
Date: Wed, 3 May 2006 13:34:31 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

On Wed, May 03, 2006 at 11:20:49AM +0200, Pierre Casteran wrote:

> Is coqdoc truely compatible with multi-directories developments with
> a single makefile ?

CoRN uses it that way; I'm not sure which one exactly of the many
options passed to it makes it work well. Maybe the
-R $(CORNROOT) CoRN
stuff.

--
Lionel

[Coq-Club]Using coqdoc, Pierre Casteran
- Re: [Coq-Club]Using coqdoc, Pierre Casteran
  - Re: [Coq-Club]Using coqdoc, Lionel Elie Mamane
    - Re: [Coq-Club]Using coqdoc, Frederic Blanqui