summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorfpi2020-07-23 07:59:54 +0200
committerfpi2020-07-23 08:00:31 +0200
commitda085e587776c84938ae38cd10003921b319ba06 (patch)
tree52d15217744ed312cd06bd349d3ee8b08aa01d65
parentAdd explicit make targets for readme tangles (diff)
Make tangling of readme silent
Diffstat (limited to '')
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 8455a6a..f7412b5 100644
--- a/Makefile
+++ b/Makefile
@@ -19,5 +19,6 @@ fetch:
pull: tangle/pull.sh
tangle/pull.sh
+.SILENT: $(addprefix tangle/,$(dst_readme))
$(addprefix tangle/,$(dst_readme)) &: README.org
- emacs --batch --eval "(and (require 'org) (org-babel-tangle-file \"README.org\"))"
+ emacs --batch --eval "(and (require 'org) (org-babel-tangle-file \"README.org\"))" &> /dev/null