From d3f49a3c0155477fdf6b8b5edee4a00e5a32330d Mon Sep 17 00:00:00 2001
From: Paul Schneider <paul@pschneider.fr>
Date: Mon, 17 Apr 2023 01:32:47 +0100
Subject: [PATCH] make packs

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

diff --git a/Makefile b/Makefile
index 4b6daca..ed74db1 100644
--- a/Makefile
+++ b/Makefile
@@ -20,6 +20,9 @@ push-%: src/%
 clean-%: src/%
 	rm -rf $^/bin $^/obj
 
+packs: pack-isn pack-isnd pack-isn.abst
+
 clean: clean-isnd clean-isn clean-isn.abst
 
 
+