Re: info files

[Stephen J. Turnbull]

Paul Eggert writes:

 > The GNU coding standards says that 'make all' need not
 > rebuild documentation files,

Then the coding standards are buggy! ;-)

Seriously, having "make" rebuild docs doesn't *violate* the standard,
does it?  AFAICS, it would be a one-time annoyance per existing
checkout: the first time you rebuild after the commit of "bzr rm
info", it would take a noticable amount of time.  But surely it's
hardly noticable in a "make bootstrap", and in any other situation
.texi files change far less frequently than C or Lisp source, and
rebuild quickly (except maybe the Lispref).