From 97df3dd3e68ec47a15de845e4b36c7bd4a1b6874 Mon Sep 17 00:00:00 2001
From: nsfisis <54318333+nsfisis@users.noreply.github.com>
Date: Sun, 23 Jul 2023 18:33:41 +0900
Subject: Initial commit

---
 Makefile | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100644 Makefile

(limited to 'Makefile')

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
-- 
cgit v1.2.3-70-g09d2