[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 17:18:51 +0100 |
|
User-agent: |
Mozilla/5.0 (Windows NT 6.1; WOW64; rv:17.0) Gecko/17.0 Thunderbird/17.0 |
On 2013-01-28 14:07, Jan Engelhardt wrote:
> ---
> doc/libtool.texi | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/doc/libtool.texi b/doc/libtool.texi
> index f7787f6..c06ddaa 100644
> --- a/doc/libtool.texi
> +++ b/doc/libtool.texi
> @@ -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}.
>
Hi Jan,
Thanks for the patch!
I have pushed it with a proper commit message, would you like me to
update your email address in THANKS?
Cheers,
Peter