1 files changed, 18 insertions, 0 deletions

diff --git a/gnunet-dht-block-types/Makefile b/gnunet-dht-block-types/Makefile
new file mode 100644
index 0000000..f402c2d
--- /dev/null
+++ b/gnunet-dht-block-types/Makefile
@@ -0,0 +1,18 @@
+FILES=gnunet_dht_block_types.h
+all: check $(FILES)
+
+check:
+        recfix --check registry.rec
+
+distclean:
+        rm -f *.tmp
+clean:
+        rm -f $(FILES) *.tmp
+
+gnunet_dht_block_types.h.tmp: registry.rec h.template
+        ../format.sh h.template < registry.rec > $@
+
+gnunet_dht_block_types.h: h.header gnunet_dht_block_types.h.tmp h.footer
+        cat h.header gnunet_dht_block_types.h.tmp h.footer > $@
+
+.PHONY: check clean distclean