Re: cvs doc/texinfo and version.texi

[Karl Berry]

      texinfo.txi:19: @include `version.texi': No such file or directory.

    I think the rule for the "texinfo" info file (in doc/Makefile.am)
    should have a dependency on version.texi.

Thanks much, I made that change.

(I'm kind of surprised that automake didn't insert the dependencies
automatically.  It did for texinfo.dvi and texinfo.pdf.  Oh well.)