Add a Travis target for make lib_doc
This makes sure that we haven't broken idrisdoc generation for the library.
Fixes #1442
commit4fde86157349e21a5fd12d04ddd9cfaeb074aca7
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateTue 5 Aug 2014, 09:48 (12 years ago)
parentd947282
.travis.yml+1
@@ -25,6 +25,7 @@ script:
2525 - make -j2 $TESTS
2626env:
2727 - TESTS="doc"
28+ - TESTS="lib_doc"
2829 - TESTS="test_c"
2930 - TESTS="test_llvm"
3031 - TESTS="test_js"