The Coq mailing list

[Philippe Audebaud <Philippe.Audebaud AT sophia.inria.fr>]

Hi,

On Mon, Sep 30, 2002 at 11:35:33PM +0200, Jean-Christophe Filliatre wrote:
> 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 sent a tiny patch to Jean-Christophe  in June : the result is ok wrt HeVeA,
but as  one should expect  it depends  on how the  source is written  for the
.info output to get better.

> I  don't know  of  another (simple)  way to  produce  it out  of the  LaTeX
> sources. If you do, please let us know.

To my point of view, HeVeA is just fine ; I used it also to produce man pages
out of LaTeX files  as well. One should realize that up  to now, this program
was mainly  dedicated for  producing html outputs.  Hence, some part  is wire
coded somehow... 

-- 
Philippe Audebaud.