[elephant-devel] Creating documentation....
Gábor Melis
mega at hotpop.com
Wed Oct 5 17:12:21 UTC 2005
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
More information about the elephant-devel
mailing list