Makefile (752B)
1 FILES=gnunet_dht_block_types.h gnunet_dht_block_types.rst 2 all: check $(FILES) 3 4 check: 5 recfix --check registry.rec 6 7 distclean: 8 rm -f *.tmp 9 clean: 10 rm -f $(FILES) *.tmp 11 12 gnunet_dht_block_types.h.tmp: registry.rec h.template 13 ../format.sh h.template < registry.rec > $@ 14 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 > $@ 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 28 .PHONY: check clean distclean