aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--.gitignore4
-rw-r--r--Makefile4
-rw-r--r--slides.saty (renamed from slide.saty)0
3 files changed, 4 insertions, 4 deletions
diff --git a/.gitignore b/.gitignore
index effbf03..a352fa4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,3 @@
/.satysfi
-/slide.pdf
-/slide.satysfi-aux
+/slides.pdf
+/slides.satysfi-aux
diff --git a/Makefile b/Makefile
index 1d3a193..78a02d5 100644
--- a/Makefile
+++ b/Makefile
@@ -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.
diff --git a/slide.saty b/slides.saty
index 61b3439..61b3439 100644
--- a/slide.saty
+++ b/slides.saty