From 499d0fd81dc42c9f935f2bd89af5e902c4a67858 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Wed, 29 Nov 2023 09:38:43 -1000 Subject: [PATCH] deployment: less verbose pandoc download --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 1b1b268..087d74c 100644 --- a/Makefile +++ b/Makefile @@ -8,7 +8,7 @@ PANDOC?=pandoc # temporary workaround for cloudflare pages (pandoc is too old in V1, missing in V2) html-cfp: pandoc --version || ( \ - wget https://github.com/jgm/pandoc/releases/download/3.1.9/pandoc-3.1.9-linux-amd64.tar.gz && \ + /usr/bin/env time wget -nv https://github.com/jgm/pandoc/releases/download/3.1.9/pandoc-3.1.9-linux-amd64.tar.gz && \ tar xzf pandoc-3.1.9-linux-amd64.tar.gz ) make html PANDOC=pandoc-3.1.9/bin/pandoc rm -rf pandoc-3.1.9*