From a02320d12634e6c385e5c3b6b4311f186ced85f5 Mon Sep 17 00:00:00 2001 From: nsfisis Date: Mon, 20 Jan 2025 08:27:05 +0900 Subject: rename slide.saty to slides.saty --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Makefile') 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. -- cgit v1.2.3-70-g09d2