From 0d904a5d72628fa2dccd16967db63dfa888fa500 Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Tue, 13 Jun 2023 03:16:59 +0200
Subject: [PATCH] make print-message-numbers

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

diff --git a/makefile b/makefile
index 26c3ee1..ed9a79b 100644
--- a/makefile
+++ b/makefile
@@ -21,3 +21,6 @@ add-user:
 
 print-messages:
 	cat src/requests/*.cr | ./bin/get-messages.awk
+
+print-message-numbers:
+	make print-messages | grep -E "^[0-9]" | sort -n