Re: online manual for packaged version?

Alan Schmitt <[email protected]> Tue, 13 Jun 2023 12:42:45 +0200

Newsgroups	gmane.network.unison.general
Message-ID	<[email protected]>

Hi Greg,

On 2023-06-13 06:12, Greg Troxel <[email protected]> writes:

> brew not building and installing the manual and the man page is a
> problem in brew and should be reported to them.

I agree, but looking at the recipe
https://github.com/Homebrew/homebrew-cask/blob/HEAD/Casks/unison.rb it
downloads the macos.app.tar.gz release on github, which does not contain
the manual. Maybe it could be added to this release?

>> In the application, I can go to the Help menu to get to the Unison
>> Online Help, and the web page linked is
>> https://www.cis.upenn.edu/~bcpierce/unison/docs.html which is out of
>> date.
>
> Pointing to that is a bug -- thanks for reporting.  That reference
> should be updated, and the one in unison.1.in should be dropped.
>
>   https://github.com/bcpierce00/unison/issues/936
>
> I have reported to bcpierce that the docs.html page should be rm'd.

Thank you, although removing online information was not what I was
hoping.

> There is, for now, a 'documentation' branch in the git repo which has
> built documentation, and it is currently up to date with the latest
> release.  I just added a pointer to the top-level wiki page.  I would
> like to remove this once there is a documentation release artifact.
>
>   https://github.com/bcpierce00/unison/tree/documentation

This is a good addition. I don’t know how to tell github to show me the
html page, but the txt is good enough for a quick search.

> Or, you can run "unison -doc topics" as suggested by `unison --help`;
> there is a text version inside the unison binary.

Ah, this is most useful! I did not know about this. Thanks!

Best,

Alan

-- 
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].

signature.asc (application/pgp-signature, 528 B)