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
 
 
+