diff options
| author | fpi | 2020-07-16 08:55:22 +0200 |
|---|---|---|
| committer | fpi | 2020-07-16 08:56:13 +0200 |
| commit | 4fcde17f96ada0c57ca42bb094f6ff5ae428f77e (patch) | |
| tree | 0b94d23121b1b1b356d9a50d21b747754e77ef76 /Makefile | |
| parent | Add make install target for fresh installations (diff) | |
Add explicit make targets for readme tangles
Diffstat (limited to '')
| -rw-r--r-- | Makefile | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -1,6 +1,8 @@ +dst_readme := tangle.sh merge.sh pull.sh link.sh dots.sh + .PHONY: merge install link tangle fetch pull -merge: +merge: tangle/merge.sh tangle/merge.sh install: tangle link @@ -8,14 +10,14 @@ install: tangle link tangle: tangle/tangle.sh tangle/tangle.sh -link: +link: tangle/link.sh tangle/link.sh fetch: git fetch -pull: +pull: tangle/pull.sh tangle/pull.sh -tangle/tangle.sh: README.org +$(addprefix tangle/,$(dst_readme)) &: README.org emacs --batch --eval "(and (require 'org) (org-babel-tangle-file \"README.org\"))" |