aboutsummaryrefslogtreecommitdiff
path: root/gnunet-dht-block-types/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'gnunet-dht-block-types/Makefile')
-rw-r--r--gnunet-dht-block-types/Makefile12
1 files changed, 11 insertions, 1 deletions
diff --git a/gnunet-dht-block-types/Makefile b/gnunet-dht-block-types/Makefile
index f402c2d..7ac5f54 100644
--- a/gnunet-dht-block-types/Makefile
+++ b/gnunet-dht-block-types/Makefile
@@ -1,4 +1,4 @@
1FILES=gnunet_dht_block_types.h 1FILES=gnunet_dht_block_types.h gnunet_dht_block_types.rst
2all: check $(FILES) 2all: check $(FILES)
3 3
4check: 4check:
@@ -15,4 +15,14 @@ gnunet_dht_block_types.h.tmp: registry.rec h.template
15gnunet_dht_block_types.h: h.header gnunet_dht_block_types.h.tmp h.footer 15gnunet_dht_block_types.h: h.header gnunet_dht_block_types.h.tmp h.footer
16 cat h.header gnunet_dht_block_types.h.tmp h.footer > $@ 16 cat h.header gnunet_dht_block_types.h.tmp h.footer > $@
17 17
18gnunet_dht_block_types.rst.tmp: registry.rec rst.template
19 ../format.sh rst.template < registry.rec > $@
20
21rst.header.tmp:
22 cat README POLICY rst.header.template > $@
23
24gnunet_dht_block_types.rst: rst.header.tmp gnunet_dht_block_types.rst.tmp rst.footer
25 cat rst.header.tmp gnunet_dht_block_types.rst.tmp rst.footer > $@
26
27
18.PHONY: check clean distclean 28.PHONY: check clean distclean