[Top][All Lists]
[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
From: |
Karl Berry |
Subject: |
Re: [help-texinfo] Simple way to get raw chunks of html from raw chunks of texinfo? |
Date: |
Wed, 31 Dec 2008 17:38:30 -0600 |
that will allow me to just pass in a (foo.texi) file
containing *only* something like:
Not to my knowledge.
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.
It will not always work, depending on what your fragments look like ...
Sorry,
karl