idris-lang/Idris-dev — pull request #1313 by jfdm (2014-06-12 16:51:20+00:00)
Title: Building idrisdoc for libs/

Added `Makefile` targets to generate `idrisdoc` for packages within `libs/`