DOC PATCH to releasing.html: makeinfo requirement

[Gerald Pfeifer]

On Sun, 23 Feb 2003, Gabriel Dos Reis wrote:
> Then [you=Joseph] propose a scheme that makes it possible to "know" the
> required version of makeinfo.  Otherwise, you're just encouraging all
> sort of chaos.

Agreed.

In fact, I imagine that ideally we'd have some flag that a release manager
sets and if the version of makeinfo is not sufficient, bails out, instead
of silently omitting the .info files.

Or, probably better, have the release scripts check for .info files and
bail out. In fact, I believe that's what we really should have.

On Sun, 23 Feb 2003, Joseph S. Myers wrote:
> What I'm proposing is something along the lines of
>
>   Ensure that you have sufficiently recent versions of makeinfo and bison
>   (as detailed in the <a href="install/build.html">installation
>   instructions</a>) installed.

That looks good, but having the release script verify these conditions
(and/or that .info files have been generated) appears preferrible to me:
why have a human check something manually if it can be done automatically?

Gerald
-- 
Gerald "Jerry"   pfeifer@dbai.tuwien.ac.at   http://www.pfeifer.com/gerald/