blob: 0c4c2cc8226845f2c80941c9695b3f826a4b31fc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
.PHONY: all
all: build
# Build slide PDF.
.PHONY: build
build: slide.pdf
slide.pdf: slide.saty
docker run \
--rm \
--name satysfi \
--mount type=bind,src=$$(pwd),dst=/work \
satysfi \
sh -c "satysfi slide.saty && chown "$$(id -u):$$(id -g)" slide.pdf slide.satysfi-aux"
# Enter Docker shell.
.PHONY: shell
shell:
docker run \
-it \
--rm \
--name satysfi \
--mount type=bind,src=$$(pwd),dst=/work \
satysfi \
sh
# Build Docker container.
.PHONY: docker
docker:
docker build --tag satysfi .
# Clean all artifacts.
.PHONY: clean
clean:
rm -f *.pdf *.satysfi-aux
|
