Re: *.texi files not generated

[John W. Eaton]

On 28-Nov-2009, Michael D. Godfrey wrote:

| On 11/28/09 5:19 PM, Rik wrote:
| > The procedure I follow to verify my patches
| > has been to clone a new tree from savannah, run autogen.sh, run
| > configure, and then run make.  This avoids any cruft that may have built
| > up in the source tree.
| >    
| This is what I did, and none of the .texi files got generated.  but,
| cd doc/interpreter; make  xxx.texi would create the .txi.  Also, I
| found that if "old" .texi files were present the make updated them.
| So, now my builds run fine -- until I do a new clone.  For now,
| I will save the old .texi files and copy them into a new clone.

I checked in the following change.  Does it fix the problem for you?

  http://hg.savannah.gnu.org/hgweb/octave/rev/81c5ea6ddf81

Thanks,

jwe