<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
<META NAME="GENERATOR" CONTENT="GtkHTML/3.3.2">
</HEAD>
<BODY>
No, I don't have the CVS version checked out;<BR>
I didn't know the repository was accesible.<BR>
<BR>
Where is it?<BR>
<BR>
What is the command to make the HTML from the texinfo?<BR>
<BR>
<BR>
<BR>
On Wed, 2005-10-05 at 19:12 +0200, Gábor Melis wrote:
<BLOCKQUOTE TYPE=CITE>
<PRE>
<FONT COLOR="#000000">On Saturday 01 October 2005 04:09, Robert L. Read wrote:</FONT>
<FONT COLOR="#000000">> The html directory in the elepahnt-0.2.1/doc directory is the SOURCE</FONT>
<FONT COLOR="#000000">> for the documentation,</FONT>
<FONT COLOR="#000000">> correct, and not the output of some other tool? I add to the</FONT>
<FONT COLOR="#000000">> documentation by writing HTML</FONT>
<FONT COLOR="#000000">> into that directory, correct?</FONT>
<FONT COLOR="#000000">It's the source but it contains texinfo. HTML is generated from that. Do </FONT>
<FONT COLOR="#000000">you have the cvs version checked out?</FONT>
<FONT COLOR="#000000">></FONT>
<FONT COLOR="#000000">></FONT>
<FONT COLOR="#000000">> ----</FONT>
<FONT COLOR="#000000">> Robert L. Read, PhD read &T</FONT>
<FONT COLOR="#000000">> robertlread.net</FONT>
<FONT COLOR="#000000">> Consider visiting Progressive Engineering:</FONT>
<FONT COLOR="#000000">> <A HREF="http://robertlread.net/pe">http://robertlread.net/pe</A></FONT>
<FONT COLOR="#000000">> In Austin: 912-8593 "Think</FONT>
<FONT COLOR="#000000">> globally, Act locally." -- RBF</FONT>
<FONT COLOR="#000000">_______________________________________________</FONT>
<FONT COLOR="#000000">elephant-devel site list</FONT>
<FONT COLOR="#000000"><A HREF="mailto:elephant-devel@common-lisp.net">elephant-devel@common-lisp.net</A></FONT>
<FONT COLOR="#000000"><A HREF="http://common-lisp.net/mailman/listinfo/elephant-devel">http://common-lisp.net/mailman/listinfo/elephant-devel</A></FONT>
</PRE>
</BLOCKQUOTE>
</BODY>
</HTML>