From 5e6b28a9a67896106a7b44555e64aef9920d9076 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Wed, 22 May 2024 22:41:47 -0700
Subject: [PATCH] Insert series meta for Agda post-processing

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
---
 layouts/partials/head.html | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/layouts/partials/head.html b/layouts/partials/head.html
index 6c18cc3..ebfb509 100644
--- a/layouts/partials/head.html
+++ b/layouts/partials/head.html
@@ -5,6 +5,9 @@
     {{ if .Description }}
     <meta name="description" content="{{ .Description }}">
     {{ end }}
+    {{ with index (.GetTerms "series") 0 }}
+    <meta name="blog-series" content="{{ .Data.Term }}">
+    {{ end }}
 
     {{ range .Params.discussionRooms }}
     <meta name="matrix-highlight-comments" content="{{ . }}">