Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: man pages aren't updated
- X-seq: zsh-users 22076
- From: Han Pingtian <hanpt@xxxxxxxxxxxxxxxxxx>
- To: zsh-users@xxxxxxx
- Subject: Re: man pages aren't updated
- Date: Thu, 3 Nov 2016 08:51:20 +0800
- In-reply-to: <20161102163817.GA6282@fujitsu.shahaf.local2>
- List-help: <mailto:zsh-users-help@zsh.org>
- List-id: Zsh Users List <zsh-users.zsh.org>
- List-post: <mailto:zsh-users@zsh.org>
- Mail-followup-to: zsh-users@xxxxxxx
- Mailing-list: contact zsh-users-help@xxxxxxx; run by ezmlm
- References: <20161101034638.GA4209__13062.8586317927$1478010076$gmane$org@localhost.localdomain> <20161101153701.GA9233@fujitsu.shahaf.local2> <20161102020916.GA5804__39989.4180395224$1478052681$gmane$org@localhost.localdomain> <20161102030013.GA5118@fujitsu.shahaf.local2> <20161102055343.GB5804__17355.3773820915$1478066113$gmane$org@localhost.localdomain> <20161102163817.GA6282@fujitsu.shahaf.local2>
On Wed, Nov 02, 2016 at 04:38:17PM +0000, Daniel Shahaf wrote:
> That's just a routine diagnostic buried among hundreds of its kind;
> people won't pay it any attention. (And configure -q hides it.) I meant
> a new, explicit warning: "yodl not found; documentation won't be built".
Agree. It would be good if there was such a message.
Messages sorted by:
Reverse Date,
Date,
Thread,
Author