[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] doc: fix an orthographic error
|
From: |
Peter Rosin |
|
Subject: |
Re: [PATCH] doc: fix an orthographic error |
|
Date: |
Mon, 28 Jan 2013 19:51:22 +0100 |
|
User-agent: |
Mozilla/5.0 (Windows NT 6.1; WOW64; rv:17.0) Gecko/17.0 Thunderbird/17.0 |
On 2013-01-28 17:33, Jan Engelhardt wrote:
> On Monday 2013-01-28 17:18, Peter Rosin wrote:
>> On 2013-01-28 14:07, Jan Engelhardt wrote:
>>> @@ -1696,7 +1696,7 @@ not
>>> libdir='/tmp/usr/local/lib'
>>> @end example
>>>
>>> address@hidden is also used to insure that if the installed
>>> address@hidden is also used to ensure that if the installed
>>> object must be relinked upon installation, that it is relinked
>>> against the libraries in @var{inst-prefix-dir}/@code{prefix},
>>> not @code{prefix}.
>>>
>>
>> I have pushed it with a proper commit message, would you like me to
>> update your email address in THANKS?
>
> Yeah, why not.
Done.
Cheers,
Peter