Index: slepc/makefile
===================================================================
--- slepc.orig/makefile	2023-06-21 19:07:23.830018385 +0200
+++ slepc/makefile	2023-06-21 19:07:23.826018353 +0200
@@ -212,7 +212,7 @@
 allclean:
 	-@${OMAKE} -f gmakefile clean
 
-clean:: allclean
+clean: allclean
 
 #********* Rules for printing library properties useful for building applications **********************
 
