Re: *.texi files not generated

[Michael D. Godfrey]

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.