diff options
Diffstat (limited to 'gnunet-dht-block-types/Makefile')
| -rw-r--r-- | gnunet-dht-block-types/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gnunet-dht-block-types/Makefile b/gnunet-dht-block-types/Makefile index f402c2d..d51d3fd 100644 --- a/gnunet-dht-block-types/Makefile +++ b/gnunet-dht-block-types/Makefile | |||
| @@ -15,4 +15,11 @@ 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 | gnunet_dht_block_types.rst: rst.header gnunet_dht_block_types.rst.tmp rst.footer | ||
| 22 | cat rst.header gnunet_dht_block_types.rst.tmp rst.footer > $@ | ||
| 23 | |||
| 24 | |||
| 18 | .PHONY: check clean distclean | 25 | .PHONY: check clean distclean |