diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..9df8a46 --- /dev/null +++ b/Makefile @@ -0,0 +1,26 @@ +.PHONY: all +all: + docker run \ + --rm \ + --name sandbox-satysfi \ + --mount type=bind,src=$$(pwd),dst=/work \ + sandbox-satysfi \ + satysfi /work/slide.saty + +.PHONY: shell +shell: + docker run \ + -it \ + --rm \ + --name sandbox-satysfi \ + --mount type=bind,src=$$(pwd),dst=/work \ + sandbox-satysfi \ + sh + +.PHONY: build +build: + docker build --tag sandbox-satysfi . + +.PHONY: clean +clean: + rm -f *.pdf *.satysfi-aux |