diff options
Diffstat (limited to 'gnu-name-system-record-types/Makefile')
-rw-r--r-- | gnu-name-system-record-types/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu-name-system-record-types/Makefile b/gnu-name-system-record-types/Makefile index 5827e73..bda8cdf 100644 --- a/gnu-name-system-record-types/Makefile +++ b/gnu-name-system-record-types/Makefile | |||
@@ -13,6 +13,6 @@ gnu_name_system_record_types.h.tmp: registry.rec h.template | |||
13 | ../format.sh h.template < registry.rec > $@ | 13 | ../format.sh h.template < registry.rec > $@ |
14 | 14 | ||
15 | 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 |
16 | cat $^ > $@ | 16 | cat h.header gnu_name_system_record_types.h.tmp h.footer > $@ |
17 | 17 | ||
18 | .PHONY: check clean distclean | 18 | .PHONY: check clean distclean |