[elephant-devel] Creating documentation....

[Robert L. Read]

No, I don't have the CVS version checked out;
I didn't know the repository was accesible.

Where is it?

What is the command to make the HTML from the texinfo?



On Wed, 2005-10-05 at 19:12 +0200, Gábor Melis wrote:

> On Saturday 01 October 2005 04:09, Robert L. Read wrote:
> > The html directory in the elepahnt-0.2.1/doc directory is the SOURCE
> > for the documentation,
> > correct, and not the output of some other tool?  I add to the
> > documentation by writing HTML
> > into that directory, correct?
> 
> It's the source but it contains texinfo. HTML is generated from that. Do 
> you have the cvs version checked out?
> 
> >
> >
> > ----
> > Robert L. Read, PhD                                     read &T
> > robertlread.net
> > Consider visiting Progressive Engineering:
> > http://robertlread.net/pe
> > In Austin: 912-8593                                        "Think
> > globally, Act locally." -- RBF
> _______________________________________________
> elephant-devel site list
> elephant-devel at common-lisp.net
> http://common-lisp.net/mailman/listinfo/elephant-devel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/elephant-devel/attachments/20051005/b6f3251c/attachment.html>