diff DOCS/xml/README.maintainers @ 11204:5c232a30d497

grammar + renamed target
author diego
date Tue, 21 Oct 2003 10:26:00 +0000
parents 1470e4dd1a4a
children 904f8b9c617c
line wrap: on
line diff
--- a/DOCS/xml/README.maintainers	Tue Oct 21 10:16:12 2003 +0000
+++ b/DOCS/xml/README.maintainers	Tue Oct 21 10:26:00 2003 +0000
@@ -7,7 +7,7 @@
 IMPORTANT: Do NOT place sensitive files under 'HTML' or 'HTML-single'!
 	   It is for generated documentation only.
 	   The whole directory tree is wiped out by the Makefile
-	   when running 'make distclean' or 'make clean-html'.
+	   when running 'make distclean' or 'make clean'.
 	   Also, subdirectories are wiped out one by one before
 	   creating the HTML files.