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
* 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
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
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
* 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?