summaryrefslogtreecommitdiff
path: root/gnu-taler-extensions/Makefile
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2021-10-21 13:43:06 +0200
committerChristian Grothoff <christian@grothoff.org>2021-10-21 13:43:06 +0200
commit17555514bd2866e0d45b23e4a1c198415205c8f2 (patch)
tree46c74efe566ba04edfda5746ccc8556b55410195 /gnu-taler-extensions/Makefile
parent8c7d9be40ba627348da3e01b91b4f1d3cc78631f (diff)
begin registry as per DD 006
Diffstat (limited to 'gnu-taler-extensions/Makefile')
-rw-r--r--gnu-taler-extensions/Makefile6
1 files changed, 6 insertions, 0 deletions
diff --git a/gnu-taler-extensions/Makefile b/gnu-taler-extensions/Makefile
new file mode 100644
index 0000000..edb88bb
--- /dev/null
+++ b/gnu-taler-extensions/Makefile
@@ -0,0 +1,6 @@
+all: check
+
+check: registry.rec
+ recfix --check registry.rec
+
+.PHONY: all check