From b310bea9a25f618dd9f69264a080fe32cf2ab3f6 Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Fri, 28 Sep 2018 18:27:52 +0300
Subject: Change: install texlive for vmdb2-manual

---
 ci-prod-websites.ick | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci-prod-websites.ick b/ci-prod-websites.ick
index ed8bc4a..35ff1f2 100644
--- a/ci-prod-websites.ick
+++ b/ci-prod-websites.ick
@@ -213,7 +213,7 @@ pipelines:
       - rsync_target
     actions:
       - shell: |
-          apt install -y pandoc
+          apt install -y pandoc texlive
           mkdir html
           cd src
           ./format.sh
-- 
cgit v1.2.1