coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] TeXinfo version of the docs?

From: Pierre Courtieu <Pierre.Courtieu AT sophia.inria.fr>
To: Philippe Audebaud <Philippe.Audebaud AT sophia.inria.fr>
Cc: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] TeXinfo version of the docs?
Date: Tue, 1 Oct 2002 09:55:15 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

>
> I tried to make an info version of the docs a few months ago, using
> Hevea's info output, but Hevea crashed (seg fault). I sent a bug
> report but we never got a patch.
>
> I don't know of another (simple) way to produce it out of the LaTeX
> sources. If you do, please let us know.
>
> Best regards,

Philippe Audebaud has managed to fix it some month ago, but I am not
sure that the result was fine... Philippe?

Best regards,

Pierre

Re: [Coq-Club] TeXinfo version of the docs?, Pierre Courtieu
- <Possible follow-ups>
- Re: [Coq-Club] TeXinfo version of the docs?, Philippe Audebaud