2020-10-28 22:16:34 +00:00
|
|
|
include ../pandoc-opts.mk
|
|
|
|
|
2021-11-19 23:00:30 +00:00
|
|
|
SOURCES_SRS = tutorial-srs.md \
|
2021-09-12 08:31:36 +00:00
|
|
|
../devops/devops.md \
|
2022-02-24 19:43:43 +00:00
|
|
|
../devops/what-srs.md \
|
|
|
|
../devops/what-ansible.md \
|
|
|
|
../devops/what-hosts.md \
|
2021-09-12 08:31:36 +00:00
|
|
|
../devops/tools.md \
|
2021-11-19 23:00:30 +00:00
|
|
|
../devops/tools-gitea.md \
|
|
|
|
../devops/tools-gitea-ansible.md \
|
|
|
|
../devops/tools-gitea-end.md \
|
|
|
|
../devops/tools-drone.md \
|
|
|
|
../devops/tools-drone-ansible.md \
|
|
|
|
../devops/tools-drone-oauth.md \
|
|
|
|
../devops/tools-drone-runner.md \
|
|
|
|
../devops/tools-drone-runner-ansible.md \
|
2022-02-24 19:43:43 +00:00
|
|
|
../devops/tools-drone-runner-end.md \
|
2021-11-19 23:00:30 +00:00
|
|
|
../devops/tools-end.md \
|
2021-09-12 08:31:36 +00:00
|
|
|
../devops/ci.md \
|
|
|
|
../devops/publish-docker.md \
|
2021-11-19 23:00:30 +00:00
|
|
|
rendu-srs.md
|
|
|
|
|
|
|
|
SOURCES_GISTRE = tutorial-gistre.md \
|
|
|
|
../devops/what-gistre.md \
|
2022-02-24 19:43:43 +00:00
|
|
|
../devops/what-cmd.md \
|
|
|
|
../devops/what-hosts.md \
|
2021-11-19 23:00:30 +00:00
|
|
|
../devops/what-gistre-see-srs.md \
|
|
|
|
../devops/tools.md \
|
|
|
|
../devops/tools-gitea.md \
|
|
|
|
../devops/tools-gitea-cmd.md \
|
|
|
|
../devops/tools-gitea-end.md \
|
|
|
|
../devops/tools-drone.md \
|
|
|
|
../devops/tools-drone-cmd.md \
|
|
|
|
../devops/tools-drone-oauth.md \
|
|
|
|
../devops/tools-drone-runner.md \
|
|
|
|
../devops/tools-drone-runner-cmd.md \
|
2022-02-24 19:43:43 +00:00
|
|
|
../devops/tools-drone-runner-end.md \
|
2021-11-19 23:00:30 +00:00
|
|
|
../devops/tools-end.md \
|
|
|
|
../devops/ci-gistre.md \
|
|
|
|
../devops/run-gistre.md \
|
|
|
|
rendu-gistre.md
|
2020-10-28 22:16:34 +00:00
|
|
|
|
|
|
|
|
2021-11-19 23:00:30 +00:00
|
|
|
all: tutorial-5-srs.pdf tutorial-5-gistre.pdf
|
|
|
|
|
|
|
|
tutorial-5-srs.pdf: ${SOURCES_SRS}
|
|
|
|
pandoc ${PANDOCOPTS} -o $@ $+
|
2020-10-28 22:16:34 +00:00
|
|
|
|
2021-11-19 23:00:30 +00:00
|
|
|
tutorial-5-gistre.pdf: ${SOURCES_GISTRE}
|
2020-10-28 22:16:34 +00:00
|
|
|
pandoc ${PANDOCOPTS} -o $@ $+
|
|
|
|
|
|
|
|
clean::
|
2021-11-19 23:00:30 +00:00
|
|
|
rm tutorial-5-srs.pdf tutorial-5-gistre.pdf
|