aboutsummaryrefslogtreecommitdiff
path: root/payto-payment-target-types/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'payto-payment-target-types/Makefile')
-rw-r--r--payto-payment-target-types/Makefile18
1 files changed, 18 insertions, 0 deletions
diff --git a/payto-payment-target-types/Makefile b/payto-payment-target-types/Makefile
index 8364f52..9fa175c 100644
--- a/payto-payment-target-types/Makefile
+++ b/payto-payment-target-types/Makefile
@@ -1,2 +1,20 @@
1FILES=payto_payment_target_types.rst
2all: check $(FILES)
3
4
1check: 5check:
2 recfix --check registry.rec 6 recfix --check registry.rec
7
8distclean:
9 rm -f *.tmp
10
11clean:
12 rm -f $(FILES) *.tmp
13
14payto_payment_target_types.rst.tmp: registry.rec rst.template
15 ../format.sh rst.template < registry.rec > $@
16
17payto_payment_target_types.rst: rst.header payto_payment_target_types.rst.tmp
18 cat rst.header payto_payment_target_types.rst.tmp > $@
19
20.PHONY: check