diff options
| author | David Allsopp <david.allsopp@metastack.com> | 2019-07-27 20:18:38 +0100 |
|---|---|---|
| committer | David Allsopp <david.allsopp@metastack.com> | 2019-07-27 23:11:59 +0100 |
| commit | 91c3ca831ca3102d8f2aaaba1c79e457e3cca078 (patch) | |
| tree | 4b76d8d00124433276a9f3787f6f4626299245e0 /tools | |
| parent | 8739c234c9188e0473069c21973985d3f5723a5b (diff) | |
| download | ocaml-91c3ca831ca3102d8f2aaaba1c79e457e3cca078.tar.gz | |
Test all ocamldoc generators in the CI
Build all the formats of the standard library documentation.
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/travis/travis-ci.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/ci/travis/travis-ci.sh b/tools/ci/travis/travis-ci.sh index 1269007d83..5aa1143a20 100755 --- a/tools/ci/travis/travis-ci.sh +++ b/tools/ci/travis/travis-ci.sh @@ -144,6 +144,10 @@ EOF $MAKE USE_RUNTIME='d' OCAMLTESTDIR="$(pwd)/_ocamltestd" TESTLOG=_logd all fi cd .. + if command -v pdflatex &>/dev/null ; then + echo Ensuring that all library documentation compiles + make -C ocamldoc html_doc pdf_doc texi_doc + fi $MAKE install if fgrep 'SUPPORTS_SHARED_LIBRARIES=true' Makefile.config &>/dev/null ; then echo Check the code examples in the manual |