From 672c904d5247b72770739a9e623397b25a981660 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Wed, 29 Nov 2023 09:39:38 -1000
Subject: [PATCH] deployment: no time. fine.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 087d74c..3183d71 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 || ( \
-		/usr/bin/env time wget -nv https://github.com/jgm/pandoc/releases/download/3.1.9/pandoc-3.1.9-linux-amd64.tar.gz && \
+		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*