[Agda] installing 2.6.2

[Orestis Melkonian]

Do `touch doc/user-manual.pdf` before installing, or try to make the 
manual with `make user-manual-pdf`.

--OM

On 07/12/2021 11:49, mechvel at scico.botik.ru wrote:
> Please,
> help to install Agda-2.6.2.
>
> It is on Ubuntu Linux 18.04, ghc-8.8.3, cabal-3.6.2.0.
>
> I un-archivate the source and command
>
>  $ cd 2.6.2
>  $ cabal update
>
>  Downloading the latest package list from hackage.haskell.org
>  Package list of hackage.haskell.org is up to date at index-state 
> 2021-12-07T09:32:17Z
>
>  $ cabal install Agda
>
>  cabal: sdist of Agda-2.6.2: filepath wildcard 'doc/user-manual.pdf' 
> does not
>  match any files.
>
> ?
>
> ------
> Sergei
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda