summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorBent Bisballe Nyeng <deva@aasimon.org>2023-08-07 21:53:13 +0200
committerBent Bisballe Nyeng <deva@aasimon.org>2023-08-07 21:53:13 +0200
commit44981d83969550485eb77ce27a98040437f2d3ce (patch)
tree82a0347cd29b8c32c522b5dec2385b4ea3d47a78 /Makefile
parent7b56745c02daf32eb1a77054b3adf4abe0f94775 (diff)
Makefile fixesHEADmaster
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 3 insertions, 3 deletions
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 .