Re: Can the documentation for Unison be migrated from the UPenn site?

Thanks for pointing this out, Yousuf!

The Unison project has migrated to GitHub
<https://urldefense.com/v3/__https://github.com/bcpierce00/unison__;!!IBzWLUs!SKG5mxFighWm7GDe0XVuU3uKx4moOV8bW02Z1yMWlMoSkXPeUxBNlOVygoLwgwtrx-0OB78DB0ZzXUKnEvia954yRLAL1A$ >, and up to date documentation can be
found there.  I've hopefully now fixed all the pointers from the old UPenn
web site...

Best,

    - Benjamin

On Sun, Jul 2, 2023 at 8:36 AM Yousuf Syed <[email protected]> wrote:

> Most of the documentation for Unison is on
> https://www.cis.upenn.edu/~bcpierce/unison/, however the documentation
> has been down for a month now and can only be accessed through The Wayback
> Machine:
> https://urldefense.com/v3/__https://web.archive.org/web/20230607201850/https:/*www.cis.upenn.edu/*bcpierce/unison/download/releases/stable/unison-manual.html*unisondir__;L34j!!IBzWLUs!SKG5mxFighWm7GDe0XVuU3uKx4moOV8bW02Z1yMWlMoSkXPeUxBNlOVygoLwgwtrx-0OB78DB0ZzXUKnEvia9579lRSsnw$ 
> <https://urldefense.com/v3/__https://web.archive.org/web/20230607201850/https:/*www.cis.upenn.edu/*bcpierce/unison/download/releases/stable/unison-manual.html*unisondir__;L34j!!IBzWLUs!Ww-ETxlz6ocpk1YRANMXXiQL8uGQZ5A_fVMIe9CnIXA34Y3zBuOEfshcpOeXROSXgt4DP6qvrrwsZoxLqTnU9K54$>.
> Searching for Unison documentation shows the site at the top.
>
> Overall pretty inconvenient to figure out how it works, should the
> documentation be moved from that site? How much effort would it take to do
> so?
>

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