[Agda] References to the "old" ways of installing the agda stdlib

[Nils Anders Danielsson]

On 2016-06-05 17:34, Jesper Louis Andersen wrote:
> Through an issue on agda/agda I found out there is a new way to
> install the stdlib. However, there are still some places around the
> web which refers to the "old" installation method of mangling
> agda2-include-dirs in emacs:
>
> https://agda.github.io/agda-stdlib/README.html

This page seems to be out of date (and I don't know how it is
generated). The latest README contains the following text:

   -- The library comes with a .agda-lib file, for use with the library
   -- management system.

-- 
/NAD