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
This commit is contained in:
Johannes Altmanninger 2022-05-19 14:50:45 +02:00
parent d9ea62666b
commit 6595aae23e

View File

@ -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