From 83711f445936dc8a2d09581edccece934d34a8d4 Mon Sep 17 00:00:00 2001
From: Yves Bertot <Yves.Bertot@inria.fr>
Date: Thu, 21 Mar 2024 14:26:30 +0100
Subject: [PATCH] make sure the make clean directive also removes the
 PrimitiveProjections.vo file

---
 Makefile.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile.in b/Makefile.in
index f049f7141..f3297171b 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -287,6 +287,7 @@ clean_test :
 	rm -f $(TESTDIR)/Test.vo $(TESTDIR)/Test.glob
 	rm -f $(TESTDIR)/Morph.vo $(TESTDIR)/Morph.glob
 	rm -f $(TESTDIR)/Polymorph.vo $(TESTDIR)/Polymorph.glob
+	rm -f $(TESTDIR)/PrimitiveProjections.vo $(TESTDIR)/PrimitiveProjections.glob
 	rm -f  $(TESTDIR)/.*.vo.aux
 
 clean_config: