[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [help-texinfo] Simple way to get raw chunks of html from raw chunks
Re: [help-texinfo] Simple way to get raw chunks of html from raw chunks of texinfo?
Wed, 31 Dec 2008 21:01:17 -0500
On Wed, Dec 31, 2008 at 6:38 PM, Karl Berry <address@hidden> wrote:
> it would be very nice to have a machine for turning them into simple
> html that I could just copy/paste right into html source or webpage
> textarea fields.
> My best idea is to write a script that adds the boilerplate at the top:
> \input texinfo
> @setfilename foo.info
> and @bye at the end, runs makeinfo --html (or texi2html) and strips out
> the generated HTML header/trailer.
Yes, that was my idea too. However, the html that `makeinfo --html`
produces contains embedded style elements in the header and also
various <div>s that show up later in the body of the html. So, it
looks like any such script would have to do a bit more work to scrub
them all out.
Ok. Thanks, Karl.