[elephant-devel] Creating documentation....

[Gábor Melis]

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