Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Build doc on travis

  • Loading branch information...
commit 7922e44c5b7dd5f4f953821dadc762718961a0bb 1 parent 667c782
@kerneis kerneis authored
Showing with 2 additions and 1 deletion.
  1. +2 −1  .travis-ci.sh
View
3  .travis-ci.sh
@@ -1,4 +1,4 @@
-OPAM_DEPENDS="ocamlfind"
+OPAM_DEPENDS="ocamlfind hevea"
case "$OCAML_VERSION,$OPAM_VERSION" in
3.12.1,1.0.0) ppa=avsm/ocaml312+opam10 ;;
@@ -13,6 +13,7 @@ esac
echo "yes" | sudo add-apt-repository ppa:$ppa
sudo apt-get update -qq
sudo apt-get install -qq ocaml ocaml-native-compilers camlp4-extra opam
+sudo apt-get install -qq texlive
export OPAMYES=1
export OPAMVERBOSE=1
echo OCaml version
Please sign in to comment.
Something went wrong with that request. Please try again.