2019-11-26 15:00:39 +00:00
|
|
|
include ../pandoc-opts.mk
|
|
|
|
|
2022-04-08 13:30:55 +00:00
|
|
|
SOURCES_TUTO = tutorial-el.md setup.md intro-srs.md intro.md overview.md discover.md discover-cmd-virli.md discover2.md run.md run-cmd-virli.md run2.md scaling.md rendu.md
|
2019-11-26 15:00:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
all: tutorial.pdf
|
|
|
|
|
|
|
|
tutorial.pdf: ${SOURCES_TUTO}
|
|
|
|
pandoc ${PANDOCOPTS} -o $@ $+
|
|
|
|
|
|
|
|
clean::
|
|
|
|
rm tutorial.pdf
|