diff options
| -rw-r--r-- | .gitignore | 4 | ||||
| -rw-r--r-- | Makefile | 4 | ||||
| -rw-r--r-- | slides.saty (renamed from slide.saty) | 0 |
3 files changed, 4 insertions, 4 deletions
@@ -1,3 +1,3 @@ /.satysfi -/slide.pdf -/slide.satysfi-aux +/slides.pdf +/slides.satysfi-aux @@ -5,9 +5,9 @@ all: build # Build slide PDF. .PHONY: build -build: slide.pdf +build: slides.pdf -slide.pdf: slide.saty +slides.pdf: slides.saty $(SATYSFI_BIN) $^ # Enter Docker shell. |
