From ae5b7a122f8e24dd38faa476cb3a1ec84f13b564 Mon Sep 17 00:00:00 2001 From: nsfisis Date: Sun, 12 Feb 2023 19:09:52 +0900 Subject: スライドを作成 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Makefile | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 Makefile (limited to 'Makefile') diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..34d193e --- /dev/null +++ b/Makefile @@ -0,0 +1,33 @@ +.PHONY: all +all: slide.pdf + +slide.pdf: slide.saty + docker run \ + -it \ + --rm \ + --name satysfi \ + --mount type=bind,src=$$(pwd),dst=/work \ + satysfi \ + satysfi slide.saty + +.PHONY: shell +shell: + docker run \ + -it \ + --rm \ + --name satysfi \ + --mount type=bind,src=$$(pwd),dst=/work \ + satysfi \ + sh + +.PHONY: docker +docker: + docker build --tag satysfi . + +.PHONY: clean +clean: + rm -f *.pdf *.satysfi-aux + +.PHONY: test +test: + @bash test.sh -- cgit v1.2.3-70-g09d2