aboutsummaryrefslogtreecommitdiff
path: root/gnunet-dht-block-types/Makefile
blob: cf2d503740873eb2fbbb71c80d66b8271e669b1c (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
FILES=gnunet_dht_block_types.h gnunet_dht_block_types.rst
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 > $@

gnunet_dht_block_types.rst.tmp: registry.rec rst.template
	../format.sh rst.template < registry.rec > $@

gnunet_dht_block_types.rst: rst.header gnunet_dht_block_types.rst.tmp rst.footer
	cat rst.header gnunet_dht_block_types.rst.tmp rst.footer > $@


.PHONY: check clean distclean