software-foundations/Makefile at develop · sergey-sign/software-foundations · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
PKG   := software_foundations


# TODO: Find idris executable.
IDRIS ?= idris


.PHONY: pdf site


all: check pdf site


build:
	$(IDRIS) --build $(PKG).ipkg


check:
	$(IDRIS) --checkpkg $(PKG).ipkg


pdf:
	$(MAKE) -C src
	mv src/all.pdf docs/pdf/sf-idris-2016.pdf


clean-all: clean clean-docs


clean:
	$(IDRIS) --clean $(PKG).ipkg


clean-docs:
	$(MAKE) -C src clean
	@$(RM) docs/index.html >/dev/null


site: docs/index.html


docs/index.html: README.md CONTRIBUTING.md
	pandoc -f markdown_github -t markdown_github \
	-A CONTRIBUTING.md $< \
		| pandoc -f markdown_github -t html -s -o $@