diff options
-rw-r--r-- | Makefile | 21 |
1 files changed, 10 insertions, 11 deletions
@@ -1,20 +1,19 @@ | |||
1 | pages = $(if $(TITLE),title.txt break) | ||
2 | pages += way-to-be-great.txt space lost-pen.txt space authenticated-counterfeit.txt break | ||
3 | pages += why.txt space con-job.txt break | ||
4 | pages += argument.txt space medium.txt break | ||
5 | pages += introduction.txt $(if $(FINALE),finale.txt) break | ||
6 | pages += human-communication.txt break | ||
7 | pages += bitcoin.txt space monad-tutorial.txt | ||
8 | pages += $(if $(TITLE),break 64lines.txt) | ||
9 | |||
10 | define pages | 1 | define pages |
11 | $(if $(TITLE),title.txt break) | 2 | $(if $(TITLE),title.txt break) |
12 | way-to-be-great.txt space lost-pen.txt space authenticated-counterfeit.txt break | 3 | way-to-be-great.txt space lost-pen.txt space authenticated-counterfeit.txt break |
13 | argument.txt space why.txt space con-job.txt break | 4 | argument.txt space why.txt space con-job.txt break |
14 | introduction.txt space introjoke.txt break | 5 | introduction.txt space introjoke.txt break |
15 | human-communication.txt break | 6 | human-communication.txt break |
16 | monad-tutorial.txt break | 7 | $(if $(TITLE),break break break) |
17 | $(if $(TITLE),break break 64lines.txt) | 8 | endef |
9 | pages := $(pages:=) | ||
10 | |||
11 | define pages | ||
12 | $(if $(TITLE),title.txt break) | ||
13 | way-to-be-great.txt space lost-pen.txt | ||
14 | break authenticated-counterfeit.txt space argument.txt break | ||
15 | introduction.txt space break | ||
16 | $(if $(TITLE),break break break) | ||
18 | endef | 17 | endef |
19 | pages := $(pages:=) | 18 | pages := $(pages:=) |
20 | 19 | ||