From 334b1bea7d26b4c7aacc70ccc44192e8699b5659 Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Fri, 28 Sep 2018 18:30:19 +0300
Subject: Add: texlive-xetex 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 35ff1f2..3163fb1 100644
--- a/ci-prod-websites.ick
+++ b/ci-prod-websites.ick
@@ -213,7 +213,7 @@ pipelines:
       - rsync_target
     actions:
       - shell: |
-          apt install -y pandoc texlive
+          apt install -y pandoc texlive texlive-xetex
           mkdir html
           cd src
           ./format.sh
-- 
cgit v1.2.1