From 68193faca26f5619bba3566bdaeeb7020fca2eb4 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Thu, 27 Apr 2023 16:15:59 +0200
Subject: Do not install GHC to build this blog

---
 dependencies.mk    | 2 +-
 scripts/history.sh | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/dependencies.mk b/dependencies.mk
index f32c7ad..764927d 100644
--- a/dependencies.mk
+++ b/dependencies.mk
@@ -5,7 +5,7 @@ _opam/init :
 	@pretty-echo.sh "Creating" "a local Opam switch"
 	@opam switch create . ${OCAML} --repos default,coq-released || true
 	@pretty-echo.sh "Installing" "OCaml dependencies"
-	@opam install dune.3.7.1 coq-coqffi.1.0.0~beta7 coq-simple-io.1.5.0 soupault.4.2.0 coq.8.13.2 coq-compcert.3.8 coq-serapi -y
+	@opam install dune.3.7.1 coq-coqffi.1.0.0~beta7 coq-simple-io.1.5.0 soupault.4.2.0 coq.8.13.2 coq-compcert.3.8 coq-serapi mustache -y
 	@touch $@
 
 CONFIGURE += _opam
diff --git a/scripts/history.sh b/scripts/history.sh
index 1594714..7e6da02 100755
--- a/scripts/history.sh
+++ b/scripts/history.sh
@@ -1,11 +1,12 @@
 #!/usr/bin/bash
+
 function main () {
   local file="${1}"
   local template="${2}"
 
   tmp_file=$(mktemp)
   generate_json ${file} > ${tmp_file}
-  haskell-mustache ${template} ${tmp_file}
+  mustache ${tmp_file} ${template} | tail -n +2
   rm ${tmp_file}
 }
 
-- 
cgit v1.2.3