[Agda] Makefile

[David Leduc]

On Fri, Sep 24, 2010 at 1:29 PM, Andreas Abel <andreas.abel at ifi.lmu.de> wrote:
> On Sep 24, 2010, at 1:18 PM, David Leduc wrote:
>
>> Hi again,
>>
>> Is there an equivavent of Coq's coq_makefile for Agda?
>
> Aeh, explain please!

Well, coq_makefile is a shell command that takes as input names of Coq
files and output a makefile that will take care of everything
including their dependencies, their ompilation and their
documentation.

Anything like that with Agda?