From 44981d83969550485eb77ce27a98040437f2d3ce Mon Sep 17 00:00:00 2001 From: Bent Bisballe Nyeng Date: Mon, 7 Aug 2023 21:53:13 +0200 Subject: Makefile fixes --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 6dde807..5689d9c 100644 --- a/Makefile +++ b/Makefile @@ -44,9 +44,9 @@ A5: rm -f ${PRE}$@.aux ${PRE}$@.log A6: - zip ${PRE}$@.zip a4/Makefile - zip ${PRE}$@.zip a4/*.cc - zip ${PRE}$@.zip a4/*.h + zip ${PRE}$@.zip a6/Makefile + zip ${PRE}$@.zip a6/*.cc + zip ${PRE}$@.zip a6/*.h make -C a6 ${PRE}$@.pdf cp a6/${PRE}$@.pdf . -- cgit v1.2.3