diff options
author | Gustav Eek <gustav.eek@fripost.org> | 2019-10-28 12:23:05 +0100 |
---|---|---|
committer | Gustav Eek <gustav.eek@fripost.org> | 2019-10-28 12:23:05 +0100 |
commit | af16296ff45465ab8c8023260797d75ef1c7b8e4 (patch) | |
tree | 7e7dafa264594ffba47c7d27e089b5e43d5a5131 /resources/Makefile-common | |
parent | 59286bdbbcf2da6b8f4469305ab4af1d1b8ddda0 (diff) | |
parent | f9998c9bd49009e3ea544cebe06bcc7c5aae02bc (diff) |
Merge branch 'master' into 2019-02-25-board
Diffstat (limited to 'resources/Makefile-common')
-rw-r--r-- | resources/Makefile-common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/Makefile-common b/resources/Makefile-common index 80713a6..c64793f 100644 --- a/resources/Makefile-common +++ b/resources/Makefile-common @@ -62,7 +62,7 @@ send: help: @echo 'This script do not run without arguments. Run for example:' @echo - @echo ' $ make 2014-02-13-board-notes.pdf' + @for f in $(SEND_FILES) ; do echo " $ make $$f"; done @echo ' $ make all' @echo ' $ make send' @echo ' $ make clean' |