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