From 20566f4cd6766d2196745df501f4eda2b42e08f0 Mon Sep 17 00:00:00 2001
From: nsfisis <54318333+nsfisis@users.noreply.github.com>
Date: Sun, 13 Aug 2023 12:34:16 +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