From 59ccd61bb8dba1b430e4e3286cf1a63f4bc84c55 Mon Sep 17 00:00:00 2001
From: Sarah Vaupel <sarah.vaupel@uniworx.de>
Date: Sun, 13 Oct 2024 00:50:43 +0200
Subject: [PATCH] build(Makefile): hoogle as alias for start-hoogle

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

diff --git a/Makefile b/Makefile
index d0369e8e2..4c05d413a 100644
--- a/Makefile
+++ b/Makefile
@@ -417,6 +417,9 @@ log-%:
 
 # TODO: move targets below to better location
 
+# Some convenience aliases:
+hoogle: start-hoogle
+
 .PHONY: i18n-check
 # HELP: check internationalization
 i18n-check: --image-run---i18n-check