Update travis CI

ocaml · Nov 5, 2020 · aa52209 · aa52209
1 parent 843c8c9
commit aa52209
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/ci/travis/travis-ci.sh b/tools/ci/travis/travis-ci.sh
@@ -211,7 +211,7 @@ EOF
   cd ..
   if command -v pdflatex &>/dev/null  ; then
     echo Ensuring that all library documentation compiles
-    $MAKE -C ocamldoc html_doc pdf_doc texi_doc
+    $MAKE -C doc html latex texi
   fi
   $MAKE install
   if fgrep 'SUPPORTS_SHARED_LIBRARIES=true' Makefile.config &>/dev/null ; then