Re: Posted zsh 5.9

[Daniel Shahaf <d.s@xxxxxxxxxxxxxxxxxx>]

dana wrote on Sat, May 14, 2022 at 17:27:26 -0500:
> On Sat 14 May 2022, at 16:50, Daniel Shahaf wrote:
> > I think the man pages are there so yodl won't be a build dependency?
> > I.e., so people who build from source but don't have yodl will still
> > have man pages to install?
> 
> Right. Just wondering if they should also be in the doc archive, in case
> someone wants to get all of the documentation in one place.
> 
> I had actually misread what Homebrew is doing btw. They pull the HTML files
> from the doc archive *in addition to* installing the man pages from the
> source one when you're using the bottle (not installing with --HEAD). So
> there's no change needed for that.
> 
> However, when using --HEAD, they disable *all* documentation due to not
> having yodl. If their policy allows it, they could pull at least the man
> files out of https://sourceforge.net/projects/zsh/files/latest/download.
> But if the doc archive additionally had the man and run-help files, they
> could use that one archive to install *all* of the documentation (even if
> it's a little outdated) even when building from source

Can't they install the man pages shipped in the source tarball in --HEAD
builds too?