coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club]Using coqdoc

From: Frederic Blanqui <Frederic.Blanqui AT loria.fr>
To: Lionel Elie Mamane <lionel AT mamane.lu>
Cc: Pierre Casteran <pierre.casteran AT labri.fr>, Coq Club <coq-club AT pauillac.inria.fr>
Subject: Re: [Coq-Club]Using coqdoc
Date: Wed, 10 May 2006 09:15:44 +0200 (CEST)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

On Wed, 3 May 2006, Lionel Elie Mamane wrote:

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.

we also do it like this in http://color.loria.fr/

html: clean-doc
coqdoc --html -g -d doc --glob-from $(DUMP) -R `pwd` Rewriting `find
. -name \*.v`
./createIndex

every thing is put in the directory doc/ with no subdirectory

d1/d2/f.v gives doc/d1.d2.f.html

see http://color.loria.fr/doc/main.html

[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