diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 78a02d5..0000000 --- a/Makefile +++ /dev/null @@ -1,39 +0,0 @@ -SATYSFI_BIN := satysfi - -.PHONY: all -all: build - -# Build slide PDF. -.PHONY: build -build: slides.pdf - -slides.pdf: slides.saty - $(SATYSFI_BIN) $^ - -# Enter Docker shell. -.PHONY: shell -shell: - docker run \ - -it \ - --rm \ - --name satysfi \ - satysfi \ - sh - -# Build Docker container. -.PHONY: docker -docker: - docker build --tag satysfi . - -# Install dependencies. -.PHONY: deps -deps: - rm -rf .satysfi - docker create --name satysfi-tmp satysfi - docker cp -L satysfi-tmp:/root/.satysfi .satysfi - docker rm satysfi-tmp - -# Clean all artifacts. -.PHONY: clean -clean: - rm -f *.pdf *.satysfi-aux |