aboutsummaryrefslogtreecommitdiff
path: root/gnunet-signatures/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'gnunet-signatures/Makefile')
-rw-r--r--gnunet-signatures/Makefile12
1 files changed, 11 insertions, 1 deletions
diff --git a/gnunet-signatures/Makefile b/gnunet-signatures/Makefile
index d3eef80..509febf 100644
--- a/gnunet-signatures/Makefile
+++ b/gnunet-signatures/Makefile
@@ -1,4 +1,4 @@
1FILES=gnunet_signatures.h 1FILES=gnunet_signatures.h gnunet_signatures.rst
2all: check $(FILES) 2all: check $(FILES)
3check: 3check:
4 recfix --check registry.rec 4 recfix --check registry.rec
@@ -12,4 +12,14 @@ gnunet_signatures.h.tmp: registry.rec h.template
12gnunet_signatures.h: h.header gnunet_signatures.h.tmp h.footer 12gnunet_signatures.h: h.header gnunet_signatures.h.tmp h.footer
13 cat h.header gnunet_signatures.h.tmp h.footer > $@ 13 cat h.header gnunet_signatures.h.tmp h.footer > $@
14 14
15gnunet_signatures.rst.tmp: registry.rec rst.template
16 ../format.sh rst.template 'Package = "GNUnet"' < registry.rec > $@
17
18rst.header.tmp:
19 cat README POLICY rst.header.template > $@
20
21gnunet_signatures.rst: rst.header.tmp gnunet_signatures.rst.tmp rst.footer
22 cat rst.header.tmp gnunet_signatures.rst.tmp rst.footer > $@
23
24
15.PHONY: check clean distclean 25.PHONY: check clean distclean