add slide.pdf

1 files changed, 35 insertions, 0 deletions

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..0a2d6b9
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,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 \
+		satysfi slide.saty
+
+# 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