From 940e1436026b79b079ce0c55f6eefa1eafd31b4c Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Mon, 15 Jun 2020 09:52:13 +0300
Subject: speed up journal.liw.fi by incremental building

---
 ci-prod-websites.ick | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/ci-prod-websites.ick b/ci-prod-websites.ick
index 5dbddde..f49308d 100644
--- a/ci-prod-websites.ick
+++ b/ci-prod-websites.ick
@@ -244,14 +244,12 @@ pipelines:
           # "Install" the plugin so ikiwiki can find it
           find -ls
           mkdir -p ikiwiki/IkiWiki/Plugin
-          mv ikiwiki-pandoc/pandoc.pm ikiwiki/IkiWiki/Plugin
-
-          rm -rf src # we don't use this, or ikiwiki will always rebuild
+          cp ikiwiki-pandoc/pandoc.pm ikiwiki/IkiWiki/Plugin
 
           if [ -e build ]
           then
               (cd build && git pull)
-              opt=--rebuild
+              opt=--refresh
           else
               git clone .mirrors/source build
               opt=--gettime
-- 
cgit v1.2.1