Re: .devhelp generator for --html mode in makeinfo

[Gavin Smith]

On 16 March 2015 at 22:09, Dimitri John Ledkov <address@hidden> wrote:
> I've assembled things from devhelp git tree & debian python docs
> packaging into one place here with comments:
>
> https://people.debian.org/~xnox/devhelp/
>
> It has the twenty line dtd description of the xml .devhelp format,
> sample output for python3.4 docs in python3.4.devhelp, script which
> processes python's html docs to generate .devhelp, and the broken
> texi2html based script to process html into .devhelp.
>
> This should be all that's needed to understand the format - it really
> is a flat TOC & flat Index with links to html pages / anchors.
>

Here's what I've been able to do so far. It needs more work and
polish, of course, but it should point in the right direction.

HTML.pm.patch
Description: Text Data

devhelp-test.html.devhelp
Description: Binary data

devhelp-test.texi
Description: TeXInfo document