idris-lang/Idris-dev — pull request #1457 by david-christiansen (2014-08-05 07:49:34+00:00)
Title: Add a Travis target for make lib_doc

This makes sure that we haven't broken idrisdoc generation for the library.

Fixes #1442