# HG changeset patch
# User diego
# Date 1260758081 0
# Node ID 2a55ab2aff1dac2f8661dc83c44ad4c2449baeff
# Parent  4d2792f3a070798f13c8be89013b95afbb30a742
Remove outdated comment about build system behavior.

diff -r 4d2792f3a070 -r 2a55ab2aff1d DOCS/xml/README.maintainers
--- a/DOCS/xml/README.maintainers	Mon Dec 14 02:25:40 2009 +0000
+++ b/DOCS/xml/README.maintainers	Mon Dec 14 02:34:41 2009 +0000
@@ -8,8 +8,6 @@
 	   It is for generated documentation only.
 	   The whole directory tree is wiped out by the Makefile
 	   when running 'make distclean' or 'make clean'.
-	   Also, subdirectories are wiped out one by one before
-	   creating the HTML files.
 
 Each subdirectory must have a Makefile.  Its purpose is to include
 the toplevel Makefile.inc file (with the rules to build the docs)