Remove not needed -r option

2018-06-09 13:54:50 +02:00 · 2018-06-09 13:54:50 +02:00 · 843a9e0e6e
commit 843a9e0e6e
parent e69a37de12
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -35,4 +35,4 @@ docs_clean:
 	rm -rf html
 archive_clean:
-	rm -rf exercise3.tgz
+	rm -f exercise3.tgz