[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: *.texi files not generated
From: |
John W. Eaton |
Subject: |
Re: *.texi files not generated |
Date: |
Mon, 30 Nov 2009 13:34:01 -0500 |
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
- *.texi files not generated, Michael Godfrey, 2009/11/27
- Re: *.texi files not generated, Rik, 2009/11/28
- Re: *.texi files not generated, Michael D. Godfrey, 2009/11/28
- Re: *.texi files not generated,
John W. Eaton <=
- Re: *.texi files not generated, Rik, 2009/11/30
- Re: *.texi files not generated, John W. Eaton, 2009/11/30
- Re: *.texi files not generated, Rik, 2009/11/30
- Re: *.texi files not generated, John W. Eaton, 2009/11/30
- Re: *.texi files not generated, Michael D. Godfrey, 2009/11/30
- Re: *.texi files not generated, Rik, 2009/11/30
- Re: *.texi files not generated, Michael D. Godfrey, 2009/11/30