diff options
Diffstat (limited to 'gnunet-signatures/Makefile')
| -rw-r--r-- | gnunet-signatures/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnunet-signatures/Makefile b/gnunet-signatures/Makefile index 1531a0b..6d95365 100644 --- a/gnunet-signatures/Makefile +++ b/gnunet-signatures/Makefile | |||
| @@ -10,6 +10,6 @@ gnunet_signatures.h.tmp: registry.rec h.template | |||
| 10 | ../format.sh h.template < registry.rec > $@ | 10 | ../format.sh h.template < registry.rec > $@ |
| 11 | 11 | ||
| 12 | gnunet_signatures.h: h.header gnunet_signatures.h.tmp h.footer | 12 | gnunet_signatures.h: h.header gnunet_signatures.h.tmp h.footer |
| 13 | cat $^ > $@ | 13 | cat h.header gnunet_signatures.h.tmp h.footer > $@ |
| 14 | 14 | ||
| 15 | .PHONY: check clean distclean | 15 | .PHONY: check clean distclean |