[Agda] upgrading from 2.4.* to 2.5.1.1 (agda2-include-dirs problem)

[Jacques Carette]

On 2016-10-18 04:19 , Nils Anders Danielsson wrote:
> On 2016-10-17 19:23, Jacques Carette wrote:
>> I had set up a correct 'libraries' file, but I had not set up a
>> 'defaults' file, as it wasn't obvious from the documentation that I
>> needed both, as I am indeed using 2 libraries (the standard library
>> and copumpkin/tomprince's categories library).
>
> If something is unclear, then I think it would be great if you could
> improve the wording and submit a pull request:
>
> https://github.com/agda/agda/blob/master/doc/user-manual/tools/package-system.rst
>

Done.  Pull request #2274.

Jacques