Initialisation du dépôt.

2026-02-07 11:09:40 +01:00
commit 477d05c47d
13 changed files with 677 additions and 0 deletions
@@ -0,0 +1,16 @@
+# Tâche par défaut.
+all: diamond
+.DEFAULT_GOAL:=all
+
+# Tâches virtuelles.
+.PHONY: all diamond clean
+
+# Construction du filtre diamond.
+diamond:
+	$(MAKE) -C ../src ../filters/diamond
+
+# Nettoyage.
+clean:
+	rm -f diamond
+
+# vim: set tw=80 ts=4 sw=4 sts=4 spelllang=fr: