From a313b2680a8625152446e9a78ec81ed2da193796 Mon Sep 17 00:00:00 2001
From: Jack Hodgkinson <30505104+jhodgdev@users.noreply.github.com>
Date: Thu, 28 Apr 2022 09:27:03 +0100
Subject: [PATCH] add hasktags function to Makefile

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index da13647..15de684 100644
--- a/Makefile
+++ b/Makefile
@@ -35,3 +35,7 @@ format_check:
 
 haddock:
 	cabal haddock --haddock-html --haddock-hoogle --builddir=haddock
+
+tag:
+	hasktags -x agora agora-bench agora-test
+