use make

2026-06-28 21:20:40 +01:00
parent 604d8138c7
commit 4de23ba13a
8 changed files with 87 additions and 55 deletions
@@ -0,0 +1,7 @@
+.PHONY: prepare_comitium
+prepare_comitium:
+	@echo Nothing to do
+
+.PHONY: clean_comitium
+clean_comitium:
+	@echo Nothing to do