Re: gendocs_template and gnu style

[Karl Berry]

    renaming after the run

I don't see why you necessarily have to rename anything.  At least I
just use the gendocs output exactly as it is.

    I fuzzily remember there being some problem with incorporating its
    logic into makeinfo.

Well, it's more complicated than that.

karl