Re: [PATCH] Document libtool variable to_host_file_cmd.

2010-09-17 Thread Charles Wilson
On 9/17/2010 1:30 PM, Ralf Wildenhues wrote: > * Charles Wilson wrote on Fri, Sep 17, 2010 at 06:28:46PM CEST: >> OK to push? > > OK. Pushed. -- Chuck

Re: [PATCH] Document libtool variable to_host_file_cmd.

2010-09-17 Thread Ralf Wildenhues
* Charles Wilson wrote on Fri, Sep 17, 2010 at 07:37:23PM CEST: > On 9/17/2010 1:30 PM, Ralf Wildenhues wrote: > > OK. Why the s/system/platform/ changes though? I see that > > libtool.texi uses platform a lot, and also uses system quite a bit but > > not quite as often. Other GNU documentation

Re: [PATCH] Document libtool variable to_host_file_cmd.

2010-09-17 Thread Charles Wilson
On 9/17/2010 1:30 PM, Ralf Wildenhues wrote: > * Charles Wilson wrote on Fri, Sep 17, 2010 at 06:28:46PM CEST: >> OK to push? > > OK. Why the s/system/platform/ changes though? I see that > libtool.texi uses platform a lot, and also uses system quite a bit but > not quite as often. Other GNU d

Re: [PATCH] Document libtool variable to_host_file_cmd.

2010-09-17 Thread Ralf Wildenhues
Hi Charles, * Charles Wilson wrote on Fri, Sep 17, 2010 at 06:28:46PM CEST: > * doc/libtool.texi (libtool script contents:to_host_file_cmd): Document > variable. > (libtool script contents:to_tool_file_cmd): Prefer `build platform' > to `build system'; Ditto `host platform'. > OK to push? OK. W

[PATCH] Document libtool variable to_host_file_cmd.

2010-09-17 Thread Charles Wilson
* doc/libtool.texi (libtool script contents:to_host_file_cmd): Document variable. (libtool script contents:to_tool_file_cmd): Prefer `build platform' to `build system'; Ditto `host platform'. --- As promised here: http://lists.gnu.org/archive/html/libtool-patches/2010-09/msg00191.html OK to push?