diff options
Diffstat (limited to 'payto-payment-target-types/Makefile')
-rw-r--r-- | payto-payment-target-types/Makefile | 18 |
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 @@ | |||
1 | FILES=payto_payment_target_types.rst | ||
2 | all: check $(FILES) | ||
3 | |||
4 | |||
1 | check: | 5 | check: |
2 | recfix --check registry.rec | 6 | recfix --check registry.rec |
7 | |||
8 | distclean: | ||
9 | rm -f *.tmp | ||
10 | |||
11 | clean: | ||
12 | rm -f $(FILES) *.tmp | ||
13 | |||
14 | payto_payment_target_types.rst.tmp: registry.rec rst.template | ||
15 | ../format.sh rst.template < registry.rec > $@ | ||
16 | |||
17 | payto_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 | ||