Re: lispref gmake info build Error 2 on 11/29/2004 CVS pull

[Luc Teirlinck]

Richard Stallman wrote:

   A manual is not a program, and shouldn't be treated like one.  The
   right way to handle this is to add --force to the makeinfo invocation.

This is essentially equivalent to the following question.  Suppose,
for instance, that somebody forgets to add an address@hidden devar' after an
@defvar.  (This kind of thing has actually repeatedly happened in
practice.)  This will essentially make the manual from that point on
unusable.  Is it now better to make bootstrapping fail and fix the
problem, or to override the user's manual with an unusable one,
without warning?

Sincerely,

Luc.