From 6595aae23ef29e8974c38f0d2ad97a2803eee3ae Mon Sep 17 00:00:00 2001
From: Johannes Altmanninger <aclopte@gmail.com>
Date: Thu, 19 May 2022 14:50:45 +0200
Subject: [PATCH] make clean: also clean up generated version files

We also discussed using "git clean -dXf" but that could remove files
that were not generated by make.

Closes #4619
---
 src/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Makefile b/src/Makefile
index 63bf1833..801a2e24 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -128,7 +128,7 @@ tags:
 	ctags -R
 
 clean:
-	rm -f $(objects) $(deps)
+	rm -f $(objects) $(deps) .version.cc .version.o
 
 dist:
 	@if ! [ -d ../.git ]; then echo "make dist can only run from a git repo";  false; fi