diff options
Diffstat (limited to 'gnunet-dht-block-types/Makefile')
-rw-r--r-- | gnunet-dht-block-types/Makefile | 12 |
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 @@ | |||
1 | FILES=gnunet_dht_block_types.h | 1 | FILES=gnunet_dht_block_types.h gnunet_dht_block_types.rst |
2 | all: check $(FILES) | 2 | all: check $(FILES) |
3 | 3 | ||
4 | check: | 4 | check: |
@@ -15,4 +15,14 @@ gnunet_dht_block_types.h.tmp: registry.rec h.template | |||
15 | gnunet_dht_block_types.h: h.header gnunet_dht_block_types.h.tmp h.footer | 15 | gnunet_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 | ||
18 | gnunet_dht_block_types.rst.tmp: registry.rec rst.template | ||
19 | ../format.sh rst.template < registry.rec > $@ | ||
20 | |||
21 | rst.header.tmp: | ||
22 | cat README POLICY rst.header.template > $@ | ||
23 | |||
24 | gnunet_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 |