Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: Better Help Docs Searching?



# schaefer@xxxxxxxxxxxxxxxx / 2021-08-04 09:05:54 -0700:
> On Tue, Aug 3, 2021 at 11:30 PM Roman Neuhauser <neuhauser@xxxxxxxxxx> wrote:
> >
> > btw, zsh's man pages use man(7), as is usual with generated man pages.
> > [...]
> > anyway, if your software vendors provide you with man(7)-based pages,
> > demand better! (you may have to roll up your sleeves though. :)
> 
> Certainly the yodl files for zsh could be amended to produce an mdoc
> version, but does that really help when there are no capable display
> programs?
 
chicken/egg problem, but see the other message, maybe the time is right.

-- 
roman




Messages sorted by: Reverse Date, Date, Thread, Author