Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: Does mandir get saved some place?
- X-seq: zsh-users 22793
- From: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>
- To: linuxtechguy@xxxxxxxxx
- Subject: Re: Does mandir get saved some place?
- Date: Sun, 6 Aug 2017 04:02:57 -0700
- Cc: Zsh Users <zsh-users@xxxxxxx>
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=brasslantern-com.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=ElVL9zArJ4l3Ija+AAMmZL5H5FPnm4cU2nt3PCPYHnI=; b=oVxHC+PKPhKGMAN+c1Jms+nZjCgpsDBv0NH8WaBHfy0hN/0YGxjpMubF7FVYOFmNS0 yr9Z9jg6o9Hs2QAqF2Ey4BhsU3wTYtEp+wwra/OsxMbR58KUVQ9azv8GF5Um08dUCVth 1GcTLQHOm0LnXpHrF44cWTLI88SyLJo/dBOuzIuM3Sz1x2BrQCpDCAaMa+U65gGGc5IG f/+iO1ybd/NOfj1NBQdEEATv9XU8pJc14YJJnRFBGjkm/xQC9182n5llnLZl2PCmfgVI xsFHqh+EAcPEuwuZ1S6i8NNSBzwPCSRffMcYopWYbIwKqXr3anbAEXXz1poBMlea+tE3 OBGw==
- In-reply-to: <CA+rB6G+XTk5JvKQQ=8RTic4j+92UgvBpn6p6Q=P0hJBmz1uoaA@mail.gmail.com>
- List-help: <mailto:zsh-users-help@zsh.org>
- List-id: Zsh Users List <zsh-users.zsh.org>
- List-post: <mailto:zsh-users@zsh.org>
- Mailing-list: contact zsh-users-help@xxxxxxx; run by ezmlm
- References: <CA+rB6G+XTk5JvKQQ=8RTic4j+92UgvBpn6p6Q=P0hJBmz1uoaA@mail.gmail.com>
On Thu, Aug 3, 2017 at 8:01 AM, Jim <linux.tech.guy@xxxxxxxxx> wrote:
>
> With the fact that the configure script has the option "mandir=<some dir>"
> I assumed(bad thing to do) that there would be an easy way to discover
> where the man pages were saved.
Ah, well, the purpose of the configure option is so you can tell "make
install" to put the manual pages in a place that's already in your
$MANPATH. It's not intended to change the shell to know about some
new location.
> would it be unreasonable to ask that a variable like "mandir" be set with
> the path to those man pages?
It wouldn't be unreasonable to ask, but I wouldn't promise an
affirmative response.
Messages sorted by:
Reverse Date,
Date,
Thread,
Author