From 78b319caf86037a592d653436b6c7a019ab0a83c Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 9 Mar 2022 11:34:24 +0100
Subject: [PATCH 1/1] Kill useless target "make maintainer-clean".

It only tries to remove an non-existent file...
---
 tools/cmake/Distrib.cmake | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/tools/cmake/Distrib.cmake b/tools/cmake/Distrib.cmake
index 43184e897b..8becc027e6 100644
--- a/tools/cmake/Distrib.cmake
+++ b/tools/cmake/Distrib.cmake
@@ -129,7 +129,7 @@ add_custom_target(uninstall
   WORKING_DIRECTORY "${CMAKE_INSTALL_PREFIX}")
 
 ################################################################
-## Build a sain "make dist" target to build a source package ###
+## Build a sane "make dist" target to build a source package ###
 ##    containing only the files that I explicitly state      ###
 ##   (instead of any cruft laying on my disk as CPack does)  ###
 ################################################################
@@ -332,12 +332,4 @@ else()
 endif()
 add_dependencies(check tests)
 
-#######################################
-### Fill in the "make xxx-clean" target ###
-#######################################
-
-add_custom_target(maintainer-clean
-  COMMAND ${CMAKE_COMMAND} -E remove -f src/mpif.f90
-  WORKING_DIRECTORY "${CMAKE_HOME_DIRECTORY}")
-
 include(CPack)
-- 
2.20.1