2018-11-16 01:38:41 +00:00
|
|
|
include ../pandoc-opts.mk
|
|
|
|
|
|
2018-10-18 05:05:36 +00:00
|
|
|
SOURCES = tutorial.md interactive.md dockerfile.md goodpractices.md entrypoint.md rendu.md
|
2015-10-07 01:45:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
all: tutorial.pdf
|
|
|
|
|
|
|
|
|
|
tutorial.pdf: ${SOURCES}
|
|
|
|
|
pandoc ${PANDOCOPTS} -o $@ $+
|
|
|
|
|
|
|
|
|
|
clean::
|
|
|
|
|
rm tutorial.pdf
|
