Also clean generated *.xml files

diff --git a/dev.mk.in b/dev.mk.in
index 7c936aec4c991f27006d9d6589c9cdb8e349dea0..9368ea54639efe6d186474dfa617a02a34852dfc 100644 (file)
--- a/dev.mk.in
+++ b/dev.mk.in
@@ -19,6 +19,7 @@ built_dist_files = $(generated_docs)
 
 files_to_clean += $(dist_archive_tar_bz2) $(dist_archive_tar_gz) .deps/*
 files_to_clean += $(built_dist_files) version.c
+files_to_clean += *.xml
 
 source_dist_files = \
     $(sources) $(headers) zlib/*.c zlib/*.h \