2019-11-26 15:00:39 +00:00
|
|
|
include ../pandoc-opts.mk
|
|
|
|
|
2022-11-30 03:33:10 +00:00
|
|
|
SOURCES_TUTO = tutorial-el.md chapter.md overview.md setup.md intro-srs.md intro.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
|