diff options
Diffstat (limited to 'gnu-name-system-record-flags/Makefile')
-rw-r--r-- | gnu-name-system-record-flags/Makefile | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/gnu-name-system-record-flags/Makefile b/gnu-name-system-record-flags/Makefile new file mode 100644 index 0000000..9166ba5 --- /dev/null +++ b/gnu-name-system-record-flags/Makefile | |||
@@ -0,0 +1,28 @@ | |||
1 | FILES=gnu_name_system_record_flags.h gnu_name_system_record_flags.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 | gnu_name_system_record_flags.h.tmp: registry.rec h.template | ||
13 | ../format.sh h.template < registry.rec > $@ | ||
14 | |||
15 | gnu_name_system_record_flags.h: h.header gnu_name_system_record_flags.h.tmp h.footer | ||
16 | cat h.header gnu_name_system_record_flags.h.tmp h.footer > $@ | ||
17 | |||
18 | gnu_name_system_record_flags.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_flags.rst: rst.header.tmp gnu_name_system_record_flags.rst.tmp rst.footer | ||
25 | cat rst.header.tmp gnu_name_system_record_flags.rst.tmp rst.footer > $@ | ||
26 | |||
27 | |||
28 | .PHONY: check clean distclean | ||