blob: 9df8a4668f7b7845b36de1be09ac951924d7e7a0 (
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
|
.PHONY: all
all:
docker run \
--rm \
--name sandbox-satysfi \
--mount type=bind,src=$$(pwd),dst=/work \
sandbox-satysfi \
satysfi /work/slide.saty
.PHONY: shell
shell:
docker run \
-it \
--rm \
--name sandbox-satysfi \
--mount type=bind,src=$$(pwd),dst=/work \
sandbox-satysfi \
sh
.PHONY: build
build:
docker build --tag sandbox-satysfi .
.PHONY: clean
clean:
rm -f *.pdf *.satysfi-aux
|
