From 4a27cc7b5c57e92e8639a89f231461c708c6bc4f Mon Sep 17 00:00:00 2001 From: nsfisis Date: Sun, 7 Apr 2024 18:49:52 +0900 Subject: init --- 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