From 1ec9e7e7164fb5b3b5259487baaec7f2500a3a8a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mikl=C3=B3s=20T=C3=B3th?= <tothmiklostibor@gmail.com> Date: Mon, 10 May 2021 05:12:40 +0200 Subject: [PATCH] fix --- docs/magic.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/magic.sh b/docs/magic.sh index 2337a0eb..1eb34ceb 100755 --- a/docs/magic.sh +++ b/docs/magic.sh @@ -18,7 +18,7 @@ cp includes/misc-functions.tex /tmp/merge/misc-functions.tex hash="$(git rev-parse HEAD)" for week in 7 11 3 2 4 5 6 9 10 13 14; do - rf -f ../src/projlab.jar + rm -f ../src/projlab.jar echo "week $week incoming..." git clean -fd git reset --hard -- GitLab