[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: *.texi files not generated
From: |
Michael D. Godfrey |
Subject: |
Re: *.texi files not generated |
Date: |
Fri, 27 Nov 2009 20:21:15 +0100 |
User-agent: |
Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; en-US; rv:1.9.1.4pre) Gecko/20090915 Thunderbird/3.0b4 |
On 11/27/09 5:29 PM, Ben Abbott wrote:
"make -i" doesn't generate the texi files though,
True. I generated them by cd doc/interpreter, then "make xxx.texi"
would correctly generate a xxx.texi file. I just did this in order
to establish where to problem was.
I hope we hear from Rik fairly soon.
Michael
- *.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, 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, 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