diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 35 |
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 |