idris-lang/Idris-dev — pull request #687 by jfdm (2013-11-29 10:10:18+00:00)
Title: Fixed malformed haddock comments

The command:

$ make doc

now only gives warnings and runs to completion.