diff options
Diffstat (limited to 'ci-prod-websites.ick')
| -rw-r--r-- | ci-prod-websites.ick | 2 |
1 files changed, 1 insertions, 1 deletions
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 |