[Agda] Can't build index.html in HoTT-Agda repository

[Nils Anders Danielsson]

On 2015-05-02 15:43, Andreas Abel wrote:
> This directory is obtained from the environment variable
>
>    Agda_datadir

If the variable is set.

-- 
/NAD