coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre AT lri.fr>
To: "Stefan Monnier" <monnier+lists.coq/news/ AT rum.cs.yale.edu>
Cc: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] TeXinfo version of the docs?
Date: Mon, 30 Sep 2002 23:35:33 +0200 (MEST)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Newsgroups: lists.coq

Stefan Monnier writes:
>
> I'm mostly interested in the an `info' version of the docs, for
> online viewing within Emacs, so other formats than TeXinfo would be
> OK as long as it's easy to generate `info' out of it.

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,
--
Jean-Christophe Filli�tre (http://www.lri.fr/~filliatr)

[Coq-Club] TeXinfo version of the docs?, Stefan Monnier
- Re: [Coq-Club] TeXinfo version of the docs?, Jean-Christophe Filliatre