From 843a9e0e6e9806bd658a265b8b9efae9b4b07984 Mon Sep 17 00:00:00 2001 From: zenon Date: Sat, 9 Jun 2018 13:54:50 +0200 Subject: [PATCH] Remove not needed -r option --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 77317db..3bbde00 100644 --- a/Makefile +++ b/Makefile @@ -35,4 +35,4 @@ docs_clean: rm -rf html archive_clean: - rm -rf exercise3.tgz + rm -f exercise3.tgz