Makefile


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

.PHONY: merge tangle

merge:
	tangle/merge.sh

tangle:
	tangle/tangle.sh

link:
	tangle/link.sh

fetch:
	git fetch

pull:
	tangle/pull.sh