From fb346b1019d0de135e8f3342c7795d8fbbeb38bb Mon Sep 17 00:00:00 2001 From: sdiehl Date: Mon, 17 Feb 2020 07:15:33 +0000 Subject: [PATCH] Just make html --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 29a334d..534bfff 100644 --- a/.travis.yml +++ b/.travis.yml @@ -14,7 +14,7 @@ script: - sudo apt-get install texlive texlive-xetex - stack $ARGS --no-terminal --install-ghc build - stack $ARGS --no-terminal --install-ghc ghc includes.hs -- -o includes -- stack $ARGS --no-terminal --install-ghc exec make +- stack $ARGS --no-terminal --install-ghc exec make html # Run the example test suite - cd src && bash ./ci cache: