[Agda] links in generated html files

[Wojciech Jedynak]

2011/12/6 Nils Anders Danielsson <nad at chalmers.se>:
> Feel free to report this issue on the bug tracker (preferably together
 > with a patch).

http://code.google.com/p/agda/issues/detail?id=539