diff options
| -rw-r--r-- | ci-prod-websites.ick | 6 |
1 files 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 |