coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] html coqdoc does not generate some files?

From: Alan Schmitt <alan.schmitt AT polytechnique.org>
To: "Hugo Herbelin" <Hugo.Herbelin AT inria.fr>
Cc: "coq-club Club" <coq-club AT inria.fr>
Subject: Re: [Coq-Club] html coqdoc does not generate some files?
Date: Fri, 04 Jan 2013 13:15:54 +0100

Hugo Herbelin writes:

> Hi Alan,
>
> You probably mean the same bug as identified in
> https://coq.inria.fr/bugs/show_bug.cgi?id=2914. This is
> fixed in 8.4pl1. Sorry for this unfortunate regression
> of coqdoc.

Hi Hugo,

Great news! Thanks a lot. I was not aware of the pl1 release, I'll go
compile it.

Alan

[Coq-Club] html coqdoc does not generate some files?, Alan Schmitt, 01/04/2013
- Re: [Coq-Club] html coqdoc does not generate some files?, Hugo Herbelin, 01/04/2013
  - Re: [Coq-Club] html coqdoc does not generate some files?, Alan Schmitt, 01/04/2013