From f784f645a61d3ca9f75f50619c2eef5a873cc892 Mon Sep 17 00:00:00 2001
From: Sarah Vaupel <sarah.vaupel@uniworx.de>
Date: Thu, 27 Mar 2025 11:06:15 +0100
Subject: [PATCH] docs(Makefile): add missing help entries for shell and ghci

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

diff --git a/Makefile b/Makefile
index fbc403b6b..e29a25460 100644
--- a/Makefile
+++ b/Makefile
@@ -77,9 +77,11 @@ start-%:
 	docker compose up -d --build $*
 
 .PHONY: shell-%
+# HELP(shell-$SERVICE): launch a (bash) shell inside a given service
 shell-%:
 	docker compose run --build --no-deps $* bash
 .PHONY: ghci
+# HELP: launch ghci
 ghci:
 	docker compose run --build --no-deps backend stack ghci $(SRC)