From 8129fdd8d1e9d2f23e3057318dceb6b9c0068c97 Mon Sep 17 00:00:00 2001
From: Sylvain Tricot <sylvain.tricot@univ-rennes1.fr>
Date: Mon, 22 Mar 2021 08:36:26 +0100
Subject: [PATCH] Fix minor bug in clean target.

The VERSION file could not be removed if it was not
found. Deletion is now forced with "-f" option.
---
 src/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Makefile b/src/Makefile
index 189f6c6..ad3ab91 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -54,7 +54,7 @@ clean::
 #	remove previous sdist
 	@rm -rf dist
 	@rm -rf *.egg*
-	@rm VERSION
+	@rm -f VERSION
 
 
 help: