Makefile 499 Bytes
Newer Older
1
# Simple makefile to generate the documentation with pandoc.
Vincent Stehlé's avatar
Vincent Stehlé committed
2
.PHONY: all doc help clean check
3
4
5
6
7
8

all: doc

help:
	@echo 'Targets:'
	@echo '  all'
9
10
	@echo '  check   Perform sanity checks'
	@echo '          (currently yamllint, shellcheck and flake8)'
11
12
13
14
15
16
17
18
19
	@echo '  clean'
	@echo '  doc     Generate README.pdf'
	@echo '  help    Print this help.'

doc: README.pdf

%.pdf: %.md pandoc.yaml
	pandoc -o$@ $< pandoc.yaml

Vincent Stehlé's avatar
Vincent Stehlé committed
20
21
check:
	yamllint .
22
23
	shellcheck $$(find -name '*.sh')
	flake8
Vincent Stehlé's avatar
Vincent Stehlé committed
24

25
26
clean:
	-rm -f README.pdf