diff options
author | Lars Wirzenius <lwirzenius@wikimedia.org> | 2019-10-15 15:18:33 +0300 |
---|---|---|
committer | Lars Wirzenius <lwirzenius@wikimedia.org> | 2019-10-15 15:18:33 +0300 |
commit | 930f995a52589bcbe05856390bb03180cf256134 (patch) | |
tree | b4a5769f30616140b7905989b793b91d925bb0cb /Makefile | |
parent | 54e22557335568e284bf7fe4b11bf59e81e2b717 (diff) | |
download | wmf-ci-arch-930f995a52589bcbe05856390bb03180cf256134.tar.gz |
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -2,7 +2,10 @@ version = $(shell git describe --dirty --tags) .SUFFIXES: .html .mdwn .md .pdf .dot .svg .uml -all: ci-arch.html ci-arch.pdf gitlab.pdf +all: ci-arch-summary.pdf ci-arch.html ci-arch.pdf gitlab.pdf + +ci-arch-summary.pdf: ci-arch-summary.md + pandoc -t beamer -o ci-arch-summary.pdf ci-arch-summary.md ci-arch.pdf ci-arch.html: ci-arch.mdwn ecosystem.svg pipeline.svg arch.svg |