diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 0c0f6e9e81054dad108a38e0b206eb856dd64061..5b44beabd817dc6cff10ad023dd27bac78e5104b 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -182,17 +182,14 @@ clean::
 ############
 
 clean::
-	$(PRINT_RM) cleaning generated test and doc files
+	$(PRINT_RM) cleaning generated test files
 	$(RM) $(E_ACSL_DIR)/tests/*.cm* $(E_ACSL_DIR)/tests/*.o
 	$(RM) $(E_ACSL_DIR)/tests/test_config
 	$(RM) $(foreach dir, $(PLUGIN_TESTS_DIRS), tests/$(dir)/result/*)
-	$(RM) $(E_ACSL_DIR)/doc/doxygen/html/*
-	$(RM) $(E_ACSL_DIR)/doc/doxygen/warn.log
-	$(RM) $(E_ACSL_DIR)/doc/code/*
 
 DISTCLEANFILES = $(wildcard \
-	Makefile config.log config.status configure .depend autom4te.cache/* \
 	doc/doxygen/doxygen.cfg \
+	Makefile config.log config.status configure .depend autom4te.cache/* \
 	META.frama-c-e_acsl Makefile.plugin.generated local_config.ml top/*)
 
 distclean:
@@ -410,3 +407,4 @@ clean::
 	$(PRINT_RM) generated documentation
 	$(RM) $(E_ACSL_DIR)/doc/doxygen/html/*
 	$(RM) $(E_ACSL_DIR)/doc/code/*
+	$(RM) $(E_ACSL_DIR)/doc/doxygen/warn.log