Remove .xml files in the doc directory on “make distclean”

diff --git a/dev.mk.in b/dev.mk.in
index 80a2cd3ccff0d41e3925aebb06c088896fe1a853..fc5037c8b3d69dcf9a4ffc822d2921ca1ca8af55 100644 (file)
--- a/dev.mk.in
+++ b/dev.mk.in
@@ -62,7 +62,7 @@ headers = \
 generated_headers = \
     unittest/suites.h
 
-files_to_clean += *.tar.bz2 *.tar.gz *.tar.xz *.xml .deps/* perfdir.*
+files_to_clean += *.tar.bz2 *.tar.gz *.tar.xz *.xml doc/*.xml .deps/* perfdir.*
 files_to_clean += compile_commands.json
 files_to_clean += src/confitems_lookup.c
 files_to_clean += src/envtoconfitems_lookup.c