2020-10-28 22:16:34 +00:00
|
|
|
include ../pandoc-opts.mk
|
|
|
|
|
2021-09-12 08:31:36 +00:00
|
|
|
SOURCES = tutorial.md \
|
|
|
|
../devops/devops.md \
|
|
|
|
../devops/what.md \
|
|
|
|
../devops/tools.md \
|
|
|
|
../devops/ci.md \
|
|
|
|
../devops/publish-docker.md \
|
|
|
|
../docker-internals/oci.md \
|
|
|
|
../docker-internals/registry.md \
|
|
|
|
rendu.md
|
2020-10-28 22:16:34 +00:00
|
|
|
|
|
|
|
|
|
|
|
all: tutorial.pdf
|
|
|
|
|
2021-09-12 08:31:36 +00:00
|
|
|
tutorial.pdf: ${SOURCES}
|
2020-10-28 22:16:34 +00:00
|
|
|
pandoc ${PANDOCOPTS} -o $@ $+
|
|
|
|
|
|
|
|
clean::
|
|
|
|
rm tutorial.pdf
|