summaryrefslogtreecommitdiff
path: root/gnu-name-system-record-types/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'gnu-name-system-record-types/Makefile')
-rw-r--r--gnu-name-system-record-types/Makefile17
1 files changed, 17 insertions, 0 deletions
diff --git a/gnu-name-system-record-types/Makefile b/gnu-name-system-record-types/Makefile
index 8364f52..2d0eb95 100644
--- a/gnu-name-system-record-types/Makefile
+++ b/gnu-name-system-record-types/Makefile
@@ -1,2 +1,19 @@
+FILES=gnu-name-system-record-types.h
+all: check $(FILES)
+
check:
recfix --check registry.rec
+
+distclean:
+
+ rm -f *.tmp
+clean:
+ rm -f $(FILES) *.tmp
+
+gnu-name-system-record-types.h.tmp: registry.rec h.template
+ ../format.sh h.template < registry.rec > $@
+
+gnu-name-system-record-types.h: h.header gnu-name-system-record-types.h.tmp h.footer
+ cat $^ > $@
+
+.PHONY: check clean distclean