|
From: | Earnie Boyd |
Subject: | Re: Add support for generating HTML docs a` la PDF, etc. |
Date: | Tue, 25 Feb 2003 11:54:11 -0500 |
User-agent: | Mozilla/5.0 (Windows; U; WinNT4.0; en-US; rv:1.1) Gecko/20020826 |
Bruce Korb wrote:
Perhaps dump all the .texi-derived files into a subdirectory? WRT what program and options to use, you'll need two substitution variables. The texi2html output is just so much better than the makeinfo version that there must be a way to say, "use that."Richard> For consistency, if an html_TEXINFOS thing (primary?) Richard> is added, it seems that there should be pdf_TEXINFOS, Richard> etc. too. eww...8)Time to rethink the mechanism. :-)
Perhaps it's time to look at the makeinfo --html output and improve it? Earnie.
[Prev in Thread] | Current Thread | [Next in Thread] |