[elephant-devel] Creating documentation....

Sat Oct 1 02:09:03 UTC 2005

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?

----
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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/elephant-devel/attachments/20050930/861f5046/attachment.html>