diff options
Diffstat (limited to 'gnu-name-system-record-types/Makefile')
-rw-r--r-- | gnu-name-system-record-types/Makefile | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/gnu-name-system-record-types/Makefile b/gnu-name-system-record-types/Makefile index 245f48b..79c7b2d 100644 --- a/gnu-name-system-record-types/Makefile +++ b/gnu-name-system-record-types/Makefile | |||
@@ -1,11 +1,10 @@ | |||
1 | FILES=gnu_name_system_record_types.h | 1 | FILES=gnu_name_system_record_types.h gnu_name_system_record_types.rst |
2 | all: check $(FILES) | 2 | all: check $(FILES) |
3 | 3 | ||
4 | check: | 4 | check: |
5 | recfix --check registry.rec | 5 | recfix --check registry.rec |
6 | 6 | ||
7 | distclean: | 7 | distclean: |
8 | |||
9 | rm -f *.tmp | 8 | rm -f *.tmp |
10 | clean: | 9 | clean: |
11 | rm -f $(FILES) *.tmp | 10 | rm -f $(FILES) *.tmp |
@@ -14,6 +13,16 @@ gnu_name_system_record_types.h.tmp: registry.rec h.template | |||
14 | ../format.sh h.template < registry.rec > $@ | 13 | ../format.sh h.template < registry.rec > $@ |
15 | 14 | ||
16 | gnu_name_system_record_types.h: h.header gnu_name_system_record_types.h.tmp h.footer | 15 | gnu_name_system_record_types.h: h.header gnu_name_system_record_types.h.tmp h.footer |
17 | cat $^ > $@ | 16 | cat h.header gnu_name_system_record_types.h.tmp h.footer > $@ |
17 | |||
18 | gnu_name_system_record_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 | gnu_name_system_record_types.rst: rst.header.tmp gnu_name_system_record_types.rst.tmp rst.footer | ||
25 | cat rst.header.tmp gnu_name_system_record_types.rst.tmp rst.footer > $@ | ||
26 | |||
18 | 27 | ||
19 | .PHONY: check clean distclean | 28 | .PHONY: check clean distclean |